Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus

Efficient, Correct Simulation of Biological 

Processes in the Stochastic Pi-calculus