A process algebra framework for multi-scale modelling of biological systems

Files in This Item:
File Description SizeFormat 
Paper110.pdf1 MBAdobe PDFDownload
Title: A process algebra framework for multi-scale modelling of biological systems
Authors: Degasperi, Andrea
Calder, Muffy
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 algebraMulti-scaleBiological systemsFunctional 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

Citations 50

Last Week
Last month
checked on Oct 11, 2018

Page view(s) 50

checked on May 25, 2018

Download(s) 50

checked on May 25, 2018

Google ScholarTM



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.