Branching bisimulation congruence for probabilistic systems
DOI10.1016/J.TCS.2011.07.020zbMATH Open1234.68282OpenAlexW2020876738MaRDI QIDQ764289FDOQ764289
Authors: S. Andova, Sonja Georgievska, Nikola Trčka 
Publication date: 13 March 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.07.020
Recommendations
- Branching bisimulation congruence for probabilistic systems
- Branching bisimulation for probabilistic systems: characteristics and decidability
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
- Equivalences for silent transitions in probabilistic systems (extended abstract)
- Probabilistic divide \& congruence: branching bisimilarity
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs
- Bisimulation through probabilistic testing
- Title not available (Why is that?)
- Model checking of probabilistic and nondeterministic systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of communicating systems
- Title not available (Why is that?)
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
- Branching time and abstraction in bisimulation semantics
- Comparative branching-time semantics for Markov chains
- Title not available (Why is that?)
- Three logics for branching bisimulation
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Validation of Stochastic Systems
- Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Title not available (Why is that?)
- Branching bisimulation congruence for probabilistic systems
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Observing branching structure through probabilistic contexts
- Branching time and orthogonal bisimulation equivalence
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
- CONCUR 2005 – Concurrency Theory
Cited In (22)
- Probabilistic divide \& congruence: branching bisimilarity
- Branching bisimulation congruence for probabilistic systems
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Model independent approach to probabilistic models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Back to the format: a survey on SOS for probabilistic processes
- Title not available (Why is that?)
- Approximate analyzing of labeled transition systems
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Branching bisimulation for probabilistic systems: characteristics and decidability
- Probabilistic Bisimulation: Naturally on Distributions
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Probabilistic bisimulation as a congruence
- Probabilistic transition system specification: congruence and full abstraction of bisimulation
- Bisimulations, logics, and trace distributions for stochastic systems with rewards
- Raiders of the lost equivalence: probabilistic branching bisimilarity
- Probabilistic barbed congruence
- Similarity-based minimization of fuzzy tree automata
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Branching bisimulation congruence for probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764289)
