Similar Items: Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Cost Preserving Bisimulations for Probabilistic Automata
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Approximate reasoning for real-time probabilistic processes
- Psi-Calculi Revisited: Connectivity and Compositionality
- Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking