@Inproceedings{EPTCS6.7, author = {Loewe, Laurence and Moodie, Stuart and Hillston, Jane}, year = {2009}, title = {Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA}, editor = {Back, Ralph-Johan and Petre, Ion and Vink, Erik de}, booktitle = {{\rm Proceedings Second International Workshop on} Computational Models for Cell Processes, {\rm Eindhoven, the Netherlands, November 3, 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {6}, publisher = {Open Publishing Association}, pages = {93-107}, doi = {10.4204/EPTCS.6.7}, }