Measurable Stochastics for Brane Calculus

Measurable Stochastics for Brane Calculus

We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of the stochastic distribution of possible derivations. To this end, we first introduce a labelled transition system for B...

Full description

Bibliographic Details
Main Authors: Giorgio Bacci, Marino Miculan
Format: Article
Language:English
Published: Open Publishing Association 2010-10-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1011.0488v1
id doaj-76ca3457c0204db9a0455f8cea250cb6
record_format Article
spelling doaj-76ca3457c0204db9a0455f8cea250cb62020-11-25T00:50:06ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802010-10-0140Proc. MeCBIC 201062210.4204/EPTCS.40.2Measurable Stochastics for Brane CalculusGiorgio BacciMarino MiculanWe give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of the stochastic distribution of possible derivations. To this end, we first introduce a labelled transition system for Brane Calculus, proving its adequacy w.r.t. the usual reduction semantics. Then, brane systems are presented 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 a SOS presentation of this stochastic semantics, which is compositional and syntax-driven. http://arxiv.org/pdf/1011.0488v1
collection DOAJ
language English
format Article
sources DOAJ
author Giorgio Bacci
Marino Miculan
spellingShingle Giorgio Bacci
Marino Miculan
Measurable Stochastics for Brane Calculus
Electronic Proceedings in Theoretical Computer Science
author_facet Giorgio Bacci
Marino Miculan
author_sort Giorgio Bacci
title Measurable Stochastics for Brane Calculus
title_short Measurable Stochastics for Brane Calculus
title_full Measurable Stochastics for Brane Calculus
title_fullStr Measurable Stochastics for Brane Calculus
title_full_unstemmed Measurable Stochastics for Brane Calculus
title_sort measurable stochastics for brane calculus
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2010-10-01
description We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of the stochastic distribution of possible derivations. To this end, we first introduce a labelled transition system for Brane Calculus, proving its adequacy w.r.t. the usual reduction semantics. Then, brane systems are presented 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 a SOS presentation of this stochastic semantics, which is compositional and syntax-driven.
url http://arxiv.org/pdf/1011.0488v1
work_keys_str_mv AT giorgiobacci measurablestochasticsforbranecalculus
AT marinomiculan measurablestochasticsforbranecalculus
_version_ 1725249335494443008

Similar Items