"Phillips" . "Implementation" . "Generic abstract machine" . . "Stochastic pi-calculus" . "Andrew" . . "Correctness" . "Non-Markovian simulation" . . . . "e665f228b4d7ea9ff0674040446cb2f3" . . "Bioambient calculus" . . "Kappa calculus" . "Andrew Phillips" . "Pi-calculus" . "Stochastic simulation" . .