Skip to Main content Skip to Navigation
Journal articles

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
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


Files produced by the author(s)


  • HAL Id : inria-00422969, version 1


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⟩



Record views


Files downloads