Measurable Stochastic for Brane Calculus

Giorgio Bacci, Marino Miculan

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

7 Citationer (Scopus)
74 Downloads (Pure)

Abstrakt

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.
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind431
Sider (fra-til)117-136
ISSN0304-3975
DOI
StatusUdgivet - maj 2012
Udgivet eksterntJa
BegivenhedWorkshop on Membrane Computing and Biologically Inspired Process Calculi - Jena, Tyskland
Varighed: 23 aug. 201023 aug. 2010
Konferencens nummer: 4

Workshop

WorkshopWorkshop on Membrane Computing and Biologically Inspired Process Calculi
Nummer4
Land/OmrådeTyskland
ByJena
Periode23/08/201023/08/2010

Fingeraftryk

Dyk ned i forskningsemnerne om 'Measurable Stochastic for Brane Calculus'. Sammen danner de et unikt fingeraftryk.

Citationsformater