Bisimulation through probabilistic testing
Information and Computation
A calculus of mobile processes, I
Information and Computation
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
General patterns of interaction in stochastic fusion
Natural Computing: an international journal
| Hi-index | 0.00 |
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.