The following pages link to CONCUR 2003 - Concurrency Theory (Q5900562):
Displaying 12 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Connectivity games over dynamic networks (Q391110) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
- Game over: the foci approach to LTL satisfiability and model checking (Q2849561) (← links)
- Two Variable vs. Linear Temporal Logic in Model Checking and Games (Q3090852) (← links)
- (Q5009445) (← links)
- (Q5020519) (← links)
- Complexity of model checking MDPs against LTL specifications (Q5136327) (← links)