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.
Type de document :
Article dans une revue
Transactions on Computational Systems Biology, Springer, 2010, Lecture Notes in Computer Science, XII (5945), pp.13-76
Liste complète des métadonnées

Littérature citée [51 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00422969
Contributeur : Joachim Niehren <>
Soumis le : lundi 2 novembre 2009 - 10:41:37
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13
Document(s) archivé(s) le : mardi 16 octobre 2012 - 12:01:03

Fichier

final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Partager

Métriques

Consultations de la notice

327

Téléchargements de fichiers

214