Projects per year
Abstract
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 language | English |
---|---|
Pages (from-to) | 89-114 |
Number of pages | 26 |
Journal | Annals of Pure and Applied Logic |
Volume | 151 |
Issue number | 2-3 |
DOIs | |
Publication status | Published - 1 Feb 2008 |
Fingerprint
Dive into the research topics of 'Angelic semantics of fine-grained concurrency'. Together they form a unique fingerprint.Projects
- 2 Finished
-
Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils
-
Modular Abstraction and Abstraction Refinement: A Game Semantic Approach
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/03/06 → 30/11/08
Project: Research Councils