Aspects of multiscale modelling in a process algebra for biological systems

Roberto Barbuti
(Università di Pisa)
Giulio Caravagna
(Università di Pisa)
Paolo Milazzo
(Università di Pisa)
Andrea Maggiolo-Schettini
(Università di Pisa)
Simone Tini
(Università dell'Insubria)

We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for modelling biological systems actions are instantaneous. When different scale levels of biological systems are considered in a single model, one should take into account that actions at a level may take much more time than actions at a lower level. Moreover, it might happen that while a component is involved in one long lasting high level action, it is involved also in several faster lower level actions. Hence, we propose a process algebra with operations and with a semantics aimed at dealing with these aspects of multiscale modelling. We study behavioural equivalences for such an algebra and give some examples.

In Gabriel Ciobanu and Maciej Koutny: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 (MeCBIC 2010), Jena, Germany, 23 August 2010, Electronic Proceedings in Theoretical Computer Science 40, pp. 54–69.
Published: 30th October 2010.

ArXived at: https://dx.doi.org/10.4204/EPTCS.40.5 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org