Abstract
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.


Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Blossey R, Cardelli L, Phillips A (2006) A compositional approach to the stochastic dynamics of gene networks. Trans Comput Syst Biol 3939:99–122
Ciobanu G (2008) From gene regulation to stochastic fusion. Lecture Notes in Computer Science, vol 5204. pp 51–63
Ciobanu G, Cornăcel L (2006) Stochastic fusion calculus. In: Proceedings of the Quantitative Aspects of Programming Languages, pp 109–125
Ciobanu G, Mishra J (2005) Performance analysis and name passing errors in probabilistic fusion. Sci Ann “A.I. Cuza” Univ 16:57–76
Ciocchetta F, Hillston J (2009) Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor Comput Sci 410:3065–3084
Degano P, Priami C (1992) Proved trees. Lecture Notes in Computer Science, vol 623. Springer, Berlin, pp 429–440
Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340–2361
Hillston J (1994) A compositional approach to performance modelling. PhD Thesis, University of Edinburgh
Klin B, Sassone V (2008) Structural operational semantics for stochastic process calculi. Lecture Notes in Computer Science, vol 4962. Springer, Berlin, pp 428–442
Kuttler C, Niehren J (2006) Gene regulation in the π-calculus: simulating cooperativity at the lambda switch. Trans Comput Syst Biol 4230:24–55
Kemeny JG, Snell JL (1976) Finite Markov chains. Springer, Berlin
Larsen KG, Skou A (1991) Bisimulation through probabilistic testing. Inf Comput 94:1–28
Milner R, Parrow J, Walker D (1992) A calculus of mobile processes. Inf Comput 100:1–40
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
Parrow J, Victor B (1998b) The Tau-laws of fusion. Lecture Notes in Computer Science, vol 1446. Springer, Berlin, pp 99–114
Regev A, Shapiro E (2004) The π-calculus as an abstraction for biomolecular systems. In: Ciobanu G, Rozenberg G (eds) Modelling in molecular biology, Natural Computing series. Springer, Berlin, pp 219–266
Acknowledgments
The author thanks the reviewers for their helpful comments. Many thanks to Angelo Troina for his useful remarks. This work was supported by a grant of the Romanian National Authority for Scientific Research, CNCS UEFISCDI, project number PN-II-ID-PCE-2011-3-0919.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ciobanu, G. General patterns of interaction in stochastic fusion. Nat Comput 12, 429–439 (2013). https://doi.org/10.1007/s11047-012-9346-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-012-9346-5