Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1016/j.tcs.2011.12.062 | Theor. Comput. Sci. |
Keywords | DocType | Volume |
microbiological system,element position,stochastic calculus,Typed stochastic semantics,operational semantics,stochastic evolution,lactose operon,negative catalysers,looping sequence,quantitative term | Journal | 431, |
ISSN | Citations | PageRank |
0304-3975 | 4 | 0.44 |
References | Authors | |
27 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Livio Bioglio | 1 | 27 | 7.56 |
| Mariangiola Dezani-Ciancaglini | 2 | 1615 | 193.57 |
| Paola Giannini | 3 | 449 | 50.00 |
| Angelo Troina | 4 | 375 | 26.31 |