Angelic semantics of fine-grained concurrency

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

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.

Details

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