Title of article
Angelic semantics of fine-grained concurrency
Author/Authors
Ghica، نويسنده , , Dan R. and Murawski، نويسنده , , Andrzej S.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
26
From page
89
To page
114
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.
Keywords
May-equivalence , Shared-memory concurrency , game semantics
Journal title
Annals of Pure and Applied Logic
Serial Year
2008
Journal title
Annals of Pure and Applied Logic
Record number
1443908
Link To Document