A process algebra framework for multi-scale modelling of biological systems
|Title:||A process algebra framework for multi-scale modelling of biological systems||Authors:||Degasperi, Andrea
|Permanent link:||http://hdl.handle.net/10197/5088||Date:||Jun-2013||Abstract:||We 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.||Type of material:||Journal Article||Publisher:||Elsevier||Journal:||Theoretical Computer Science||Volume:||488||Start page:||15||End page:||45||Copyright (published version):||2013 Elsevier||Keywords:||Process algebra; Multi-scale; Biological systems; Functional rates||DOI:||10.1016/j.tcs.2013.03.018||Language:||en||Status of Item:||Peer reviewed|
|Appears in Collections:||SBI Research Collection|
Show full item record
Page view(s) 5036
This item is available under the Attribution-NonCommercial-NoDerivs 3.0 Ireland. No item may be reproduced for commercial purposes. For other possible restrictions on use please refer to the publisher's URL where this is made available, or to notes contained in the item itself. Other terms may apply.