zbMATH — the first resource for mathematics

From gene regulation to stochastic fusion. (English) Zbl 1166.68319
Calude, Cristian S. (ed.) et al., Unconventional computation. 7th international conference, UC 2008, Vienna, Austria, August 25–28, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85193-6/pbk). Lecture Notes in Computer Science 5204, 51-63 (2008).
Summary: 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.
For the entire collection see [Zbl 1149.68006].

68Q05 Models of computation (Turing machines, etc.) (MSC2010)
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: DOI