The Attributed Pi Calculus with Priorities
Document type :
Partie d'ouvrage
Title :
The Attributed Pi Calculus with Priorities
Author(s) :
John, Mathias [Auteur]
University of Rostock
Lhoussaine, Cedric [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Niehren, Joachim [Auteur correspondant]
Programming Languages for Biological Modeling and Simulation [BioComputing]
Modeling Tree Structures, Machine Learning, and Information Extraction [MOSTRARE]
Uhrmacher, Adelinde [Auteur]
University of Rostock
University of Rostock
Lhoussaine, Cedric [Auteur]

Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Niehren, Joachim [Auteur correspondant]

Programming Languages for Biological Modeling and Simulation [BioComputing]
Modeling Tree Structures, Machine Learning, and Information Extraction [MOSTRARE]
Uhrmacher, Adelinde [Auteur]
University of Rostock
Scientific editor(s) :
Corrado Priami
Rainer Breitling
David Gilbert
Monika Heiner
Adelinde M. Uhrmacher
Rainer Breitling
David Gilbert
Monika Heiner
Adelinde M. Uhrmacher
Book title :
Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies
Publisher :
Springer
Publication date :
2010-02-17
ISBN :
978-3-642-11712-1
HAL domain(s) :
Informatique [cs]/Bio-informatique [q-bio.QM]
Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM]
Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM]
English abstract : [en]
We present the attributed $\pi$-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The $\pi$-calculus serves as a constraint language underlying the ...
Show more >We present the attributed $\pi$-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The $\pi$-calculus serves as a constraint language underlying the $\pi$-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed $\pi$-calculus. We show how to encode the $\pi$-calculus with priorities and polyadic synchronization $\pi$@ and thus dynamic compartments, as well as the stochastic $\pi$-calculus with concurrent objects spico. We illustrate the usefulness of the attributed $\pi$-calculus for modeling biological systems at two particular examples: Euglena’s spatial movement in phototaxis, and cooperative protein binding in gene regulation of bacteriophage lambda. Furthermore, population-based model is supported beside individual-based modeling. A stochastic simulation algorithm for the attributed $\pi$-calculus is derived from its stochastic semantics. We have implemented a simulator and present experimental results, that confirm the practical relevance of our approach.Show less >
Show more >We present the attributed $\pi$-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The $\pi$-calculus serves as a constraint language underlying the $\pi$-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed $\pi$-calculus. We show how to encode the $\pi$-calculus with priorities and polyadic synchronization $\pi$@ and thus dynamic compartments, as well as the stochastic $\pi$-calculus with concurrent objects spico. We illustrate the usefulness of the attributed $\pi$-calculus for modeling biological systems at two particular examples: Euglena’s spatial movement in phototaxis, and cooperative protein binding in gene regulation of bacteriophage lambda. Furthermore, population-based model is supported beside individual-based modeling. A stochastic simulation algorithm for the attributed $\pi$-calculus is derived from its stochastic semantics. We have implemented a simulator and present experimental results, that confirm the practical relevance of our approach.Show less >
Language :
Anglais
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://hal.inria.fr/inria-00422969/document
- Open access
- Access the document
- https://hal.inria.fr/inria-00422969/document
- Open access
- Access the document
- https://hal.inria.fr/inria-00308970/document/
- Open access
- Access the document
- https://hal.inria.fr/inria-00422969/document
- Open access
- Access the document
- https://hal.inria.fr/inria-00308970/document/
- Open access
- Access the document
- document
- Open access
- Access the document
- final.pdf
- Open access
- Access the document
- document
- Open access
- Access the document