Measurable stochastics for Brane calculus
From MaRDI portal
Publication:418841
DOI10.1016/j.tcs.2011.12.055zbMath1255.68099arXiv1011.0488OpenAlexW2042939769MaRDI QIDQ418841
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.0488
Markov processesstructural operational semanticssystems biologyBrane calculusrate bisimilaritystochastic semantics
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items (3)
Measurable stochastics for Brane calculus ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ Undecidability of Model Checking in Brane Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Measurable stochastics for Brane calculus
- Interactive Markov chains. And the quest for quantified quality
- Computational methods in systems biology. International conference CMSB 2007, Edinburgh, Scotland, September 20--21, 2007. Proceedings
- Bisimulations in calculi modelling membranes
- A simple calculus for proteins and cells
- Stochastic coalgebraic logic
- Bisimulation through probabilistic testing
- The origins of structural operational semantics
- BioAmbients: an abstraction for biological compartments
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Bisimulation and cocongruence for probabilistic systems
- Bisimulation for labelled Markov processes
- Approximating Labelled Markov Processes Again!
- Deriving Structural Labelled Transitions for Mobile Ambients
- Reactive Systems, Barbed Semantics, and the Mobile Ambients
- YMCA
- The Calculus of Looping Sequences for Modeling Biological Membranes
- Brane Calculi
- Approximating Markov Processes by Averaging
This page was built for publication: Measurable stochastics for Brane calculus