Abstract
Usual process algebras are working with one-to-one interactions, and so it is difficult to use them in order to describe complex biological systems like gene regulation where many-to-many interactions are involved. We overcome this limitation and present a stochastic fusion calculus suitable to describe the dynamic behaviour involving many-to-many interactions. We extend the semantics of the fusion calculus from labelled transition system to stochastic labelled transition system where the evolution of a system is driven by probability distributions, then we analyse the stochastic distribution of the synchronization between interacting processes. Finally we define and study a stochastic hyperequivalence, and present an axiomatic system for it.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ciobanu, G., Mishra, J.: Performance Analysis and Name Passing Errors in Probabilistic Fusion. Scientific Annals of “A.I.Cuza” University XVI, 57–76 (2005)
de Alfaro, L.: Stochastic Transition Systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 423–438. Springer, Heidelberg (1998)
Degano, P., Priami, C.: Proved Trees. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 629–640. Springer, Heidelberg (1992)
Glabeek, R.V., Smolka, S., Steffen, B., Tofts, C.: Reactive, Generative and Stratified Models for Probabilistic Processes. Inf. and Computation 121, 59–80 (1995)
Hermanns, H.: Interactive Markov Chains. LNCS, vol. 2428, pp. 843–857. Springer, Heidelberg (2002)
Jonsson, B., Larsen, K., Yi, W.: Probabilistic Extensions of Process Algebras. In: Handbook of Process Algebra, pp. 685–710. Elsevier, Amsterdam (2001)
Kuttler, C., Niehren, J.: Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 24–55. Springer, Heidelberg (2006)
Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh (1994)
Larsen, K.G., Skou, A.: Bisimulation through Probabilistic Testing. Information and Computation 94, 1–28 (1991)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100, 1–40 (1992)
Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In: 13th IEEE Symposium on Logic in Computer Science, pp. 176–185. IEEE Computer Society, Los Alamitos (1998)
Parrow, J., Victor, B.: The tau-Laws of Fusion. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 99–114. Springer, Heidelberg (1998)
Priami, C.: Stochastic π-calculus. The Computer Journal 38, 578–589 (1995)
Regev, A., Shapiro, E.: The π-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Natural Computing Series, pp. 219–266. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciobanu, G. (2008). From Gene Regulation to Stochastic Fusion. In: Calude, C.S., Costa, J.F., Freund, R., Oswald, M., Rozenberg, G. (eds) Unconventional Computing. UC 2008. Lecture Notes in Computer Science, vol 5204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85194-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-85194-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85193-6
Online ISBN: 978-3-540-85194-3
eBook Packages: Computer ScienceComputer Science (R0)