Aspects of multiscale modelling in a process algebra for biological systems

Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010.
Number of pages16
Publication statusPublished - 2010


Dive into the research topics of 'Aspects of multiscale modelling in a process algebra for biological systems'. Together they form a unique fingerprint.

Cite this