The following pages link to (Q5009456):
Displaying 5 items.
- A Note on Game Theory and Verification (Q3297580) (← links)
- A Game Semantics of Idealized CSP (Q4917059) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)
- On the complexity of rational verification (Q6133701) (← links)