Skip to main content
Log in

General patterns of interaction in stochastic fusion

  • Published:
Natural Computing Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2

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

    MathSciNet  Google Scholar 

  • 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

    MathSciNet  Google Scholar 

  • Ciocchetta F, Hillston J (2009) Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor Comput Sci 410:3065–3084

    Article  MathSciNet  MATH  Google Scholar 

  • Degano P, Priami C (1992) Proved trees. Lecture Notes in Computer Science, vol 623. Springer, Berlin, pp 429–440

    Google Scholar 

  • Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340–2361

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Kuttler C, Niehren J (2006) Gene regulation in the π-calculus: simulating cooperativity at the lambda switch. Trans Comput Syst Biol 4230:24–55

    MathSciNet  Google Scholar 

  • Kemeny JG, Snell JL (1976) Finite Markov chains. Springer, Berlin

    MATH  Google Scholar 

  • Larsen KG, Skou A (1991) Bisimulation through probabilistic testing. Inf Comput 94:1–28

    Article  MathSciNet  MATH  Google Scholar 

  • Milner R, Parrow J, Walker D (1992) A calculus of mobile processes. Inf Comput 100:1–40

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Chapter  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Gabriel Ciobanu.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-012-9346-5

Keywords

Navigation