Vashti Galpin, Jane Hillston. Equivalence and Discretisation in Bio-PEPA. In Pierpaolo Degano, Roberto Gorrieri, editors, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Volume 5688 of Lecture Notes in Computer Science, pages 189-204, Springer, 2009. [doi]
Abstract is missing.