Pages that link to "Item:Q3003356"
From MaRDI portal
The following pages link to Concurrent Logic Games on Partial Orders (Q3003356):
Displaying 6 items.
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- A two-player asynchronous game on fully observable Petri nets (Q2032842) (← links)
- On the determinacy of concurrent games on event structures with infinite winning sets (Q2453582) (← links)
- (Q3125031) (← links)
- Sequentiality vs. concurrency in games and logic (Q4461213) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)