Computer Science – Logic in Computer Science
Scientific paper
2010-11-02
EPTCS 40, 2010, pp. 54-69
Computer Science
Logic in Computer Science
In Proceedings MeCBIC 2010, arXiv:1011.0051
Scientific paper
10.4204/EPTCS.40.5
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.
Barbuti Roberto
Caravagna Giulio
Maggiolo-Schettini Andrea
Milazzo Paolo
Tini Simone
No associations
LandOfFree
Aspects of multiscale modelling in a process algebra for biological systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Aspects of multiscale modelling in a process algebra for biological systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Aspects of multiscale modelling in a process algebra for biological systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-594424