The following pages link to A Game Semantics of Idealized CSP (Q4917059):
Displaying 20 items.
- Full abstraction for idealized Algol with passive expressions (Q1575874) (← links)
- Game semantics and linear CPS interpretation (Q1770417) (← links)
- Games and full abstraction for FPC. (Q1854351) (← links)
- 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)
- Full abstraction for fair testing in CCS (expanded version) (Q2929593) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- From CSP to Game Semantics (Q3163396) (← links)
- Full Abstraction Without Synchronization Primitives (Q3178268) (← links)
- Causality vs. interleavings in concurrent game semantics (Q4608684) (← links)
- (Q5111648) (← links)
- Foundations of Software Science and Computation Structures (Q5308452) (← links)
- Foundations of Software Science and Computation Structures (Q5308457) (← 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)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
