I like this research, not for the stochastic π-calculus, since I guess any stochastic programming language would work, but for the fact that it has a great graphical representation and that they are able to model systems with a great amount of interaction.
