Pages that link to "Item:Q1652962"
From MaRDI portal
The following pages link to Non-angelic concurrent game semantics (Q1652962):
Displaying 7 items.
- A Mathematical Game Semantics of Concurrency and Nondeterminism (Q2787451) (← links)
- A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (Q2958546) (← links)
- Sequentiality vs. concurrency in games and logic (Q4461213) (← links)
- (Q5089301) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- The mays and musts of concurrent strategies (Q6612785) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)