Similar Items: Approximate reasoning for real-time probabilistic processes
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Approximating Queries on Probabilistic Graphs
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
- Coinductive Formal Reasoning in Exact Real Arithmetic
- Characterising Testing Preorders for Finite Probabilistic Processes