Angelic semantics of fine-grained concurrency

Dan Ghica, AS Murawski, I Walukiewicz

Research output: Contribution to journalArticlepeer-review

24 Citations (Scopus)


We introduce a game model for a procedural programming language extended with primitives for parallel composition and synchronization on binary semaphores. The model uses an interleaved version of Hyland-Ong-style games, where most of the original combinatorial constraints on positions are replaced with a simple principle naturally related to static process creation. The model is fully abstract for may-equivalence.


Dive into the research topics of 'Angelic semantics of fine-grained concurrency'. Together they form a unique fingerprint.

Cite this