Pages that link to "Item:Q2453582"
From MaRDI portal
The following pages link to On the determinacy of concurrent games on event structures with infinite winning sets (Q2453582):
Displaying 4 items.
- Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies (Q752703) (← links)
- Weak observable liveness and infinite games on finite graphs (Q1662538) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- STACS 2004 (Q5309683) (← links)