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.
|Tidsskrift||Theoretical Computer Science|
|Status||Udgivet - maj 2012|
|Begivenhed||Workshop on Membrane Computing and Biologically Inspired Process Calculi - Jena, Tyskland|
Varighed: 23 aug. 2010 → 23 aug. 2010
Konferencens nummer: 4
|Workshop||Workshop on Membrane Computing and Biologically Inspired Process Calculi|
|Periode||23/08/2010 → 23/08/2010|