Similar Items: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
- Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
- Qualitative Logics and Equivalences for Probabilistic Systems
- Efficient reduction of nondeterministic automata with application to language inclusion testing
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata
- A Reduced Semantics for Deciding Trace Equivalence