Weak Bisimulation for Fully Probabilistic Processes
No abstract available.
Related papers
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes TACAS 1999
- A Theory of Weak Bisimulation for Core CML ICFP 1996
- A Theory of Weak Bisimulation for Core CML JFP 1998
- Bisimulation Through Probabilistic Testing POPL 1989
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996