Measurable Stochastics for Brane Calculus

Details Measurable Stochastics for Brane Calculus Measurable Stochastics for Brane Calculus

2010-11-02

arxiv.org/abs/1011.0488v1

EPTCS 40, 2010, pp. 6-22

Computer Science

Computational Engineering, Finance, and Science

In Proceedings MeCBIC 2010, arXiv:1011.0051

Scientific paper

10.4204/EPTCS.40.2

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.

Affiliated with

Also associated with

No associations

Rating

Measurable Stochastics for Brane Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Measurable Stochastics for Brane Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Measurable Stochastics for Brane Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-594413