The following pages link to A Game Semantics of Idealized CSP (Q4917059):
Displayed 9 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)