Degasperi, AndreaAndreaDegasperiCalder, MuffyMuffyCalder2013-11-292013-11-292013 Elsev2013-06Theoretical Computer Sciencehttp://hdl.handle.net/10197/5088We introduce a novel process algebra for modelling biological systems at multiple scales, called process algebra with hooks (PAH). Processes represent biological entities, such as molecules, cells and tissues, while two algebraic operators, both symmetric, define composition of processes within and between scales. Composed actions allow for biological events to interact within and between scales at the same time. The algebra has a stochastic semantics based on functional rates of reactions. Two bisimulations are defined on PAH processes. The first bisimulation is used to aid model development by checking that two biological scales can interact correctly. The second bisimulation is a congruence that relates models, or part of models, that can perform the same timed events at a specified scale. Finally, we provide a PAH model of pattern formation in a tissue and illustrate reasoning about its behaviour using the PAH framework.enThis is the author's version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science (488, , (2013)) DOI: http://dx.doi/org/10.1016/j.tcs.2013.03.018Process algebraMulti-scaleBiological systemsFunctional ratesJournal Article488154510.1016/j.tcs.2013.03.0182013-11-27https://creativecommons.org/licenses/by-nc-nd/3.0/ie/