 |
|
|
|
| HAL: inria-00308970, version 4 |
| See detailed view |  BibTeX,EndNote,... |
|
|
| Computational Methods in Systems Biology, 6th International Conference CMSB, Rostock : Allemagne (2008) |
|
|
| Available versions | v1 (2008-09-01) | v2 (2009-03-25) | v3 (2009-07-27) | v4 (2009-11-02) |
|
|
|
|
| The Attributed Pi Calculus |
|
|
| Mathias John 1Cédric Lhoussaine 2 |
|
|
| (2008) |
|
|
|
| The attributed pi calculus (pi(L)) forms an extension of the pi calculus with attributed processes and attribute dependent synchronization. To ensure flexibility, the calculus is parametrized with the language L which defines possible values of attributes. pi(L) can express polyadic synchronization as in pi@ and thus diverse compartment organizations. A non-deterministic and a stochastic semantics, where rates may depend on attribute values, is introduced. The stochastic semantics is based on continuous time Markov chains. A simulation algorithm is developed which is firmly rooted in this stochastic semantics. Two examples, the movement processes in the phototaxis of Euglena and the cooperative binding in the gene regulation of the lambda Phage, underline the applicability of pi(L) to 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/Programming Languages Computer Science/Bioinformatics Life Sciences/Quantitative Methods |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00308970, version 4 | |
| http://hal.inria.fr/inria-00308970 | |
| oai:hal.inria.fr:inria-00308970 | |
| From: Joachim Niehren | |
| Submitted on: Monday, 2 November 2009 10:44:29 | |
| Updated on: Tuesday, 1 June 2010 15:26:10 | |
