Abstract
The main aim of this work is to give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare (QEST'10). In this approach, the semantics of a process is a measure of the stochastic distribution of possible derivations. To this end, we first introduce a compositional, finitely branching labelled transition system for Brane Calculus; interestingly, the associated strong bisimulation is a congruence. Then, we give a stochastic semantics to Brane systems by defining them as Markov processes over the measurable space generated by terms up-to syntactic congruence, and where the measures are indexed by the actions of this new LTS. Finally, we provide an SOS presentation of this stochastic semantics, which is compositional and syntax-driven, and moreover the induced rate bisimilarity is a congruence.
Originalsprog | Engelsk |
---|---|
Tidsskrift | Theoretical Computer Science |
Vol/bind | 431 |
Sider (fra-til) | 117-136 |
ISSN | 0304-3975 |
DOI | |
Status | Udgivet - maj 2012 |
Udgivet eksternt | Ja |
Begivenhed | Workshop on Membrane Computing and Biologically Inspired Process Calculi - Jena, Tyskland Varighed: 23 aug. 2010 → 23 aug. 2010 Konferencens nummer: 4 |
Workshop
Workshop | Workshop on Membrane Computing and Biologically Inspired Process Calculi |
---|---|
Nummer | 4 |
Land/Område | Tyskland |
By | Jena |
Periode | 23/08/2010 → 23/08/2010 |