| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662448 | Annals of Pure and Applied Logic | 2008 | 26 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
