 |
|
|
|
| HAL: inria-00422969, version 1 |
| See detailed view |  BibTeX,EndNote,... |
|
|
| Transactions on Computational Systems Biology XII, 5945 (2010) 13-76 |
|
|
|
|
| The Attributed Pi Calculus with Priorities |
|
|
| Mathias John 1Cédric Lhoussaine 2 |
|
|
| (2010-02-17) |
|
|
|
| We introduce the attributed pi-calculus, an extension of the pi-calculus with attributed processes and attribute dependent synchronization. Attribute values are useful to define spatial, geometrical, physical, or biological properties of processes. We show that the attributed pi-calculus can express poly-synchronization as in pi@ and thus all kinds of compartment organizations. It equally subsumes Spico's pattern-synchronization, the basic concept needed for defining concurrent objects in the pi-calculus. We provide a stochastic semantics, where the rates may depend on attribute values, and the corresponding simulation algorithm. This turns the attributed pi-calculus into a highly expressive modeling language for systems biology. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | University of Rostock |
|
|
|
University of Rostock |
|
|
| 2: | Laboratoire d'Informatique Fondamentale de Lille (LIFL) |
|
|
|
CNRS : UMR8022 – INRIA – IRCICA – Université des Sciences et Technologies de Lille - Lille I |
|
|
| 3: | MOSTRARE (INRIA Lille - Nord Europe) |
|
|
|
INRIA – CNRS : UMR8022 – Université des Sciences et Technologies de Lille - Lille I : EA3588 – Université Charles de Gaulle - Lille III |
|
|
| 4: | BIOCOMPUTING (LIFL) |
|
|
|
Université des Sciences et Technologies de Lille - Lille I – CNRS : UMR8022 |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Bioinformatics Life Sciences/Quantitative Methods |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00422969, version 1 | |
| http://hal.inria.fr/inria-00422969 | |
| oai:hal.inria.fr:inria-00422969 | |
| From: Joachim Niehren | |
| Submitted on: Monday, 2 November 2009 10:41:37 | |
| Updated on: Tuesday, 1 June 2010 15:27:24 | |
