Angelic semantics of fine-grained concurrency

Research output: Contribution to journalArticle


Colleges, School and Institutes


We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplified version of Hyland-Ong-style games and it emphasizes the intuitive connection between the concurrent nature of games and that of computation. The model is fully abstract for may-equivalence. (c) 2007 Elsevier B.V. All rights reserved.


Original languageEnglish
Pages (from-to)89-114
Number of pages26
JournalAnnals of Pure and Applied Logic
Issue number2-3
Publication statusPublished - 1 Feb 2008