Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
The Attributed Pi Calculus
| |
|
The Attributed Pi Calculus
Mathias John21, Cédric Lhoussaine22, 24, Joachim Niehren23, 24 and Adelinde M. Uhrmacher21
| (21) |
University of Rostock, Institute of Computer Science, Modeling and Simulation Group, |
| (22) |
University of Lille 1, LIFL, CNRS UMR8022, |
| (23) |
INRIA, Lille, Mostrare project, |
| (24) |
BioComputing project, LIFL, Lille, |
Abstract
The attributed pi calculus  forms an extension of the pi calculus with attributed processes and attribute dependent synchronization. To ensure flexibility,
the calculus is parametrized with the language  which defines possible values of attributes.  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 underline
the applicability of  to systems biology: Euglena’s movement in phototaxis, and cooperative protein binding in gene regulation of bacteriophage
lambda.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|