The Attributed Pi Calculus with Priorities

Abstract : 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.
Complete list of metadatas

Cited literature [51 references]  Display  Hide  Download

https://hal.inria.fr/inria-00422969
Contributor : Joachim Niehren <>
Submitted on : Monday, November 2, 2009 - 10:41:37 AM
Last modification on : Thursday, February 21, 2019 - 10:52:50 AM
Long-term archiving on : Tuesday, October 16, 2012 - 12:01:03 PM

File

final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00422969, version 1

Citation

Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus with Priorities. Transactions on Computational Systems Biology, Springer, 2010, Lecture Notes in Computer Science, XII (5945), pp.13-76. ⟨inria-00422969⟩

Share

Metrics

Record views

483

Files downloads

409