Notes on Generative Probabilistic Bisimulation
From MaRDI portal
Publication:2866317
DOI10.1016/j.entcs.2006.09.016zbMath1277.68210MaRDI QIDQ2866317
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.016
bisimulation; congruence; process algebras; weak bisimulation; behavioral equivalences; generative probability
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- On cool congruence formats for weak bisimulations
- Structural operational semantics for weak bisimulations
- Bisimulation through probabilistic testing
- Discrete time generative-reactive probabilistic processes with different advancing speeds
- A structural approach to operational semantics
- Reactive, generative, and stratified models of probabilistic processes
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Rooted branching bisimulation as a congruence
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
- Process Algebra
- Testing preorders for probabilistic processes
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computational Structures
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item