The following pages link to A Game Semantics of Idealized CSP (Q4917059):
Displaying 11 items.
- Higher-order linearisability (Q2423744) (← links)
- Angelic semantics of fine-grained concurrency (Q2474441) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- A Categorical Semantics of Higher Order Store (Q2842823) (← links)
- Handshake Games (Q2864210) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- Full Abstraction Without Synchronization Primitives (Q3178268) (← links)
- (Q5111648) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
