TY - JOUR
T1 - Typed stochastic semantics for the calculus of looping sequences
AU - Bioglio, Livio
AU - Dezani-Ciancaglini, Mariangiola
AU - Giannini, Paola
AU - Troina, Angelo
N1 - Funding Information:
✩ This research is funded by the BioBITs Project (Converging Technologies 2007, area: Biotechnology-ICT), Regione Piemonte. During the final revision phase of this paper, Angelo Troina was visiting the Instituto de Ecología at Universidad Tecnica Particular de Loja (Ecuador), in the context of the Prometeo
PY - 2012/5/4
Y1 - 2012/5/4
N2 - The stochastic calculus of looping sequences is a quantitative term rewrite formalism suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. In this paper, we propose an operational semantics for this calculus that considers the types of the species to derive the stochastic evolution of the system. The presence of positive and negative catalysers can modify these speeds. We claim that types provide an abstraction suitable to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through an example modelling the lactose operon.
AB - The stochastic calculus of looping sequences is a quantitative term rewrite formalism suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. In this paper, we propose an operational semantics for this calculus that considers the types of the species to derive the stochastic evolution of the system. The presence of positive and negative catalysers can modify these speeds. We claim that types provide an abstraction suitable to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through an example modelling the lactose operon.
KW - Calculus of looping sequences
KW - Stochastic semantics
KW - Systems biology
UR - http://www.scopus.com/inward/record.url?scp=84859527272&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2011.12.062
DO - 10.1016/j.tcs.2011.12.062
M3 - Article
SN - 0304-3975
VL - 431
SP - 165
EP - 180
JO - Theoretical Computer Science
JF - Theoretical Computer Science
ER -