×

zbMATH — the first resource for mathematics

General patterns of interaction in stochastic fusion. (English) Zbl 1334.68147
Summary: A stochastic version of the fusion calculus is presented. The stochastic nature is evident in the labelled transition system providing the operational semantics of stochastic fusion calculus, where labels represent the rates corresponding to exponential distributions. We extend the notion of hyperbisimulation to stochastic fusion calculus, and prove that the stochastic hyperequivalence is a congruence. A complete axiomatic system for the stochastic hyperbisimulation is defined. Some examples inspired by gene regulation illustrate the general patterns of interactions by using stochastic fusion calculus.

MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87 Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Software:
Bio-PEPA
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Blossey, R; Cardelli, L; Phillips, A, A compositional approach to the stochastic dynamics of gene networks, Trans Comput Syst Biol, 3939, 99-122, (2006) · Zbl 1179.92021
[2] Ciobanu G (2008) From gene regulation to stochastic fusion. Lecture Notes in Computer Science, vol 5204. pp 51-63 · Zbl 1166.68319
[3] Ciobanu G, Cornăcel L (2006) Stochastic fusion calculus. In: Proceedings of the Quantitative Aspects of Programming Languages, pp 109-125 · Zbl 0752.68036
[4] Ciobanu, G; Mishra, J, Performance analysis and name passing errors in probabilistic fusion, Sci Ann “A.I. Cuza” Univ, 16, 57-76, (2005) · Zbl 1134.68430
[5] Ciocchetta, F; Hillston, J, Bio-PEPA: a framework for the modelling and analysis of biological systems, Theor Comput Sci, 410, 3065-3084, (2009) · Zbl 1173.68041
[6] Degano P, Priami C (1992) Proved trees. Lecture Notes in Computer Science, vol 623. Springer, Berlin, pp 429-440
[7] Gillespie, DT, Exact stochastic simulation of coupled chemical reactions, J Phys Chem, 81, 2340-2361, (1977)
[8] Hillston J (1994) A compositional approach to performance modelling. PhD Thesis, University of Edinburgh · Zbl 1080.68003
[9] Klin B, Sassone V (2008) Structural operational semantics for stochastic process calculi. Lecture Notes in Computer Science, vol 4962. Springer, Berlin, pp 428-442 · Zbl 1138.68468
[10] Kuttler, C; Niehren, J, Gene regulation in the π-calculus: simulating cooperativity at the lambda switch, Trans Comput Syst Biol, 4230, 24-55, (2006)
[11] Kemeny JG, Snell JL (1976) Finite Markov chains. Springer, Berlin · Zbl 0328.60035
[12] Larsen, KG; Skou, A, Bisimulation through probabilistic testing, Inf Comput, 94, 1-28, (1991) · Zbl 0756.68035
[13] Milner, R; Parrow, J; Walker, D, A calculus of mobile processes, Inf Comput, 100, 1-40, (1992) · Zbl 0752.68036
[14] Parrow J, Victor B (1998a) The fusion calculus: expressiveness and symmetry in mobile processes. In: 13th Symposium on Logic in Computer Science. IEEE Computer Society, Washington, DC, pp 176-185
[15] Parrow J, Victor B (1998b) The Tau-laws of fusion. Lecture Notes in Computer Science, vol 1446. Springer, Berlin, pp 99-114
[16] Regev, A; Shapiro, E; Ciobanu, G (ed.); Rozenberg, G (ed.), The π-calculus as an abstraction for biomolecular systems, 219-266, (2004), Berlin
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.