Similar Items: Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
- Satisfiability Games for Branching-Time Logics
- Unifying the Linear Time-Branching Time Spectrum of Process Semantics
- Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
- All Linear-Time Congruences for Familiar Operators
- A Reduced Semantics for Deciding Trace Equivalence
- Behavioural equivalences for timed systems