Bisimulation through probabilistic testing
Information and Computation
A calculus of mobile processes, I
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
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
From Gene Regulation to Stochastic Fusion
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Structural operational semantics for stochastic process calculi
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
| Hi-index | 0.00 |
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.