Measurable Stochastics for Brane Calculus
Copyright policy )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 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.
In Proceedings MeCBIC 2010, arXiv:1011.0051
- University of Udine Italy
FOS: Computer and information sciences, stochastic semantics, Systems biology, networks, G.3, Rate bisimilarity, Theoretical Computer Science, Computational Engineering, Finance, and Science (cs.CE), D.3.1; G.3, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), QA1-939, Stochastic semantics, Computer Science - Computational Engineering, Finance, and Science, D.3.1, structural operational semantics, Markov processes, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), systems biology, QA75.5-76.95, rate bisimilarity, Brane calculus, Electronic computers. Computer science, Structural operational semantics, Systems biology, Mathematics, Brane Calculus, Computer Science(all)
FOS: Computer and information sciences, stochastic semantics, Systems biology, networks, G.3, Rate bisimilarity, Theoretical Computer Science, Computational Engineering, Finance, and Science (cs.CE), D.3.1; G.3, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), QA1-939, Stochastic semantics, Computer Science - Computational Engineering, Finance, and Science, D.3.1, structural operational semantics, Markov processes, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), systems biology, QA75.5-76.95, rate bisimilarity, Brane calculus, Electronic computers. Computer science, Structural operational semantics, Systems biology, Mathematics, Brane Calculus, Computer Science(all)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).7 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!