* * Andrew Phillips - 2006 Simulating Biological Systems in the Stochastic p-calculus Andrew Phillips with Luca Cardelli Microsoft Research, Cambridge UK http://research.microsoft.com/~aphillip/spim…
