HAL - INRIA :: [inria-00308970, version 4] The Attributed Pi Calculus

inria-00308970, version 4

%% inria-00308970, version 4
%% http://hal.inria.fr/inria-00308970/en/
@inproceedings{JOHN:2008:INRIA-00308970:4,
	title = { {T}he {A}ttributed {P}i {C}alculus},
	author = {{J}ohn, {M}athias and {L}houssaine, {C}{\'e}dric and {N}iehren, {J}oachim and {U}hrmacher, {A}delinde},
	abstract = {{T}he attributed pi calculus (pi({L})) forms an extension of the pi calculus with attributed processes and attribute dependent synchronization. {T}o 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. {T}he stochastic semantics is based on continuous time {M}arkov chains. {A} simulation algorithm is developed which is firmly rooted in this stochastic semantics. {T}wo examples, the movement processes in the phototaxis of {E}uglena and the cooperative binding in the gene regulation of the lambda {P}hage, underline the applicability of pi({L}) to systems biology.},
	language = {{E}nglish},
	affiliation = {{U}niversity of {R}ostock - {U}niversity of {R}ostock - {L}aboratoire d'{I}nformatique {F}ondamentale de {L}ille - {LIFL} - {CNRS} : {UMR}8022 - {INRIA} - {IRCICA} - {U}niversit{\'e} des {S}ciences et {T}echnologies de {L}ille - {L}ille {I} - {MOSTRARE} - {INRIA} {L}ille - {N}ord {E}urope - {INRIA} - {CNRS} : {UMR}8022 - {U}niversit{\'e} des {S}ciences et {T}echnologies de {L}ille - {L}ille {I} : {EA}3588 - {U}niversit{\'e} {C}harles de {G}aulle - {L}ille {III} },
	booktitle = {{C}omputational {M}ethods in {S}ystems {B}iology, 6th {I}nternational {C}onference {CMSB} },
	publisher = {{L}ecture {N}otes in {B}ioinformatics },
	pages = {83-102 },
	address = {{R}ostock {G}ermany },
	editor = {{S}pringer },
	audience = {international },
    year = {2008},
    URL = {http://hal.inria.fr/inria-00308970/en/},
    URL = {http://hal.inria.fr/inria-00308970/PDF/final.pdf},
}

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="inria-00308970"><analytic>
<author><persName><forename>Mathias</forename><surname>John</surname></persName>
<affiliation>
<orgName type="team">University of Rostock</orgName>
<country>DE</country>
<orgName type="institution">University of Rostock</orgName>
</affiliation>
</author>
<author><persName><forename>Cédric</forename><surname>Lhoussaine</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">IRCICA</orgName>
<orgName type="institution">Université des Sciences et Technologies de Lille - Lille I</orgName>
</affiliation>
</author>
<author><persName><forename>Joachim</forename><surname>Niehren</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">IRCICA</orgName>
<orgName type="institution">Université des Sciences et Technologies de Lille - Lille I</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Lille - Nord Europe</orgName>
<orgName type="team">MOSTRARE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université des Sciences et Technologies de Lille - Lille I : EA3588</orgName>
<orgName type="institution">Université Charles de Gaulle - Lille III</orgName>
</affiliation>
</author>
<author><persName><forename>Adelinde</forename><surname>Uhrmacher</surname></persName>
<affiliation>
<orgName type="team">University of Rostock</orgName>
<country>DE</country>
<orgName type="institution">University of Rostock</orgName>
</affiliation>
</author>
<title type="main" level="a">The Attributed Pi Calculus</title></analytic><monogr><meeting>Computational Methods in Systems Biology, 6th International Conference CMSB</meeting><imprint><publisher>Lecture Notes in Bioinformatics</publisher><pubPlace><settlement>Rostock</settlement><country>Germany</country></pubPlace><biblScope type="publicationDate">2008</biblScope><biblScope type="pp">83-102</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00308970/en/</idno><idno type="HALFile">http://hal.inria.fr/inria-00308970/PDF/final.pdf</idno></biblStruct>
</listBibl>
</listBibl>

The Attributed Pi Calculus

Mathias John (

http://wwwmosi.informatik.uni-rostock.de/mosi/Members/mj069

) ¹, Cédric Lhoussaine (

) ², Joachim Niehren (

http://researchers.lille.inria.fr/~niehren/

) ^2, 3, Adelinde M. Uhrmacher (

http://www.informatik.uni-rostock.de/~lin

) ¹

(2008)

Access to full text
PDF

Computational Methods in Systems Biology, 6th International Conference CMSB (2008) 83-102

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.

1:	University of Rostock
	University of Rostock
2:	Laboratoire d'Informatique Fondamentale de Lille (LIFL)
	CNRS : UMR8022 – INRIA – IRCICA – Université des Sciences et Technologies de Lille - Lille I
3:	MOSTRARE (INRIA Lille - Nord Europe)
	INRIA – CNRS : UMR8022 – Université des Sciences et Technologies de Lille - Lille I : EA3588 – Université Charles de Gaulle - Lille III

Domain

Computer Science/Programming Languages

Computer Science/Bioinformatics

Life Sciences/Quantitative Methods

Available versions:


inria-00308970, version 4
http://hal.inria.fr/inria-00308970/en/
oai:hal.inria.fr:inria-00308970_v4
From: Joachim Niehren <>
Submitted on: Monday, 2 November 2009 10:44:29
Updated on: Monday, 2 November 2009 11:46:29