Angelic semantics of fine-grained concurrency
Research output: Contribution to journal › Article
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.
|Number of pages||26|
|Journal||Annals of Pure and Applied Logic|
|Publication status||Published - 1 Feb 2008|