Muffy Calder Jane Hillston Process Algebra Modelling Styles for Biomolecular Processes. 1-25 2009 11 T. Comp. Sys. Biology http://dx.doi.org/10.1007/978-3-642-04186-0_1 journals/tcsb/2009-11 db/journals/tcsb/tcsb11.html#CalderH09