Measurable stochastics for Brane calculus

DOI10.1016/j.tcs.2011.12.055zbMath1255.68099arXiv1011.0488OpenAlexW2042939769MaRDI QIDQ418841

Marino Miculan, Giorgio Bacci

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

zbMATH Keywords

Markov processesstructural operational semanticssystems biologyBrane calculusrate bisimilaritystochastic semantics

Mathematics Subject Classification ID

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