The Attributed Pi Calculus

Abstract : 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.
Type de document :
Communication dans un congrès
Springer. Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. Lecture Notes in Bioinformatics, pp.83-102, 2008
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-00308970
Contributeur : Joachim Niehren <>
Soumis le : lundi 2 novembre 2009 - 10:44:29
Dernière modification le : mardi 16 octobre 2018 - 17:44:06
Document(s) archivé(s) le : samedi 26 novembre 2016 - 14:20:13

Fichier

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

Identifiants

  • HAL Id : inria-00308970, version 4

Citation

Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus. Springer. Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. Lecture Notes in Bioinformatics, pp.83-102, 2008. 〈inria-00308970v4〉

Partager

Métriques

Consultations de la notice

373

Téléchargements de fichiers

543