Similar Items: A Reduced Semantics for Deciding Trace Equivalence
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
- Generic Trace Semantics via Coinduction
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus
- Coalgebraic trace semantics via forgetful logics