Similar Items: Characterising Testing Preorders for Finite Probabilistic Processes
- Multiparty testing preorders
- A uniform characterisation of the (a)synchronous must-preorder
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- Approximate reasoning for real-time probabilistic processes
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes