Angelic semantics of fine-grained concurrency

Dan Ghica; AS Murawski

doi:10.1016/j.apal.2007.10.005

Angelic semantics of fine-grained concurrency

Dan Ghica, AS Murawski

Computer Science

Research output: Contribution to journal › Article

30 Citations (Scopus)

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	https://doi.org/10.1016/j.apal.2007.10.005
Publication status	Published - 1 Feb 2008

Access to Document

10.1016/j.apal.2007.10.005

Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Ghica, D.
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.
Engineering & Physical Science Research Council
1/03/06 → 30/11/08
Project: Research Councils

Cite this

@article{e747d8338b15491c933aad885b334ffc,

title = "Angelic semantics of fine-grained concurrency",

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.",

author = "Dan Ghica and AS Murawski",

year = "2008",

month = feb,

day = "1",

doi = "10.1016/j.apal.2007.10.005",

language = "English",

volume = "151",

pages = "89--114",

journal = "Annals of Pure and Applied Logic",

publisher = "Elsevier",

number = "2-3",

}

TY - JOUR

T1 - Angelic semantics of fine-grained concurrency

AU - Ghica, Dan

AU - Murawski, AS

PY - 2008/2/1

Y1 - 2008/2/1

N2 - 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.

AB - 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.

U2 - 10.1016/j.apal.2007.10.005

DO - 10.1016/j.apal.2007.10.005

M3 - Article

VL - 151

SP - 89

EP - 114

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 2-3

ER -

Angelic semantics of fine-grained concurrency

Abstract

Access to Document

Fingerprint

Projects

Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification

Modular Abstraction and Abstraction Refinement: A Game Semantic Approach

Cite this