Similar Items: Unifying the Linear Time-Branching Time Spectrum of Process Semantics
- Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
- Satisfiability Games for Branching-Time Logics
- Failure Trace Semantics for a Process Algebra with Time-outs
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
- Sampled Semantics of Timed Automata
- Automatic functions, linear time and learning