Andrew Phillips, Luca Cardelli. Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. In Muffy Calder, Stephen Gilmore, editors, Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings. Volume 4695 of Lecture Notes in Computer Science, pages 184-199, Springer, 2007. [doi]