Measurable Stochastic for Brane Calculus

Giorgio Bacci; Marino Miculan

doi:10.1016/j.tcs.2011.12.055

Measurable Stochastic for Brane Calculus

Giorgio Bacci, Marino Miculan

Research output: Contribution to journal › Journal article › Research › peer-review

7 Citations (Scopus)

91 Downloads (Pure)

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.

Original language	English
Journal	Theoretical Computer Science
Volume	431
Pages (from-to)	117-136
ISSN	0304-3975
DOIs	https://doi.org/10.1016/j.tcs.2011.12.055
Publication status	Published - May 2012
Externally published	Yes
Event	Workshop on Membrane Computing and Biologically Inspired Process Calculi - Jena, Germany Duration: 23 Aug 2010 → 23 Aug 2010 Conference number: 4

Workshop

Workshop	Workshop on Membrane Computing and Biologically Inspired Process Calculi
Number	4
Country/Territory	Germany
City	Jena
Period	23/08/2010 → 23/08/2010

Access to Document

10.1016/j.tcs.2011.12.055

BmjournalSubmitted manuscript, 436 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{b63f7fcc467a4c44a0aed886fb850d4a,

title = "Measurable Stochastic for Brane Calculus",

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.",

author = "Giorgio Bacci and Marino Miculan",

year = "2012",

month = may,

doi = "10.1016/j.tcs.2011.12.055",

language = "English",

volume = "431",

pages = "117--136",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

note = "Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC'10 ; Conference date: 23-08-2010 Through 23-08-2010",

}

TY - JOUR

T1 - Measurable Stochastic for Brane Calculus

AU - Bacci, Giorgio

AU - Miculan, Marino

N1 - Conference code: 4

PY - 2012/5

Y1 - 2012/5

N2 - 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.

AB - 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.

U2 - 10.1016/j.tcs.2011.12.055

DO - 10.1016/j.tcs.2011.12.055

M3 - Journal article

SN - 0304-3975

VL - 431

SP - 117

EP - 136

JO - Theoretical Computer Science

JF - Theoretical Computer Science

T2 - Workshop on Membrane Computing and Biologically Inspired Process Calculi

Y2 - 23 August 2010 through 23 August 2010

ER -

Measurable Stochastic for Brane Calculus

Abstract

Workshop

Access to Document

AUB Link

Fingerprint

Cite this