Measurable stochastics for Brane calculus

DOI10.1016/j.tcs.2011.12.055zbMath1255.68099arXiv1011.0488MaRDI 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 processes; structural operational semantics; systems biology; Brane calculus; rate bisimilarity; stochastic semantics

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

92C42: Systems biology, networks

Related Items

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