Angelic semantics of fine-grained concurrency

Dan Ghica; AS Murawski; I Walukiewicz

doi:10.1007/978-3-540-24727-2_16

Angelic semantics of fine-grained concurrency

Dan Ghica, AS Murawski, I Walukiewicz

Computer Science

Research output: Contribution to journal › Article › peer-review

24 Citations (Scopus)

Abstract

We introduce a game model for a procedural programming language extended with primitives for parallel composition and synchronization on binary semaphores. The model uses an interleaved version of Hyland-Ong-style games, where most of the original combinatorial constraints on positions are replaced with a simple principle naturally related to static process creation. The model is fully abstract for may-equivalence.

Original language	English
Pages (from-to)	211-225
Number of pages	15
Journal	Lecture Notes in Computer Science
Volume	2987
DOIs	https://doi.org/10.1007/978-3-540-24727-2_16
Publication status	Published - 1 Mar 2004
Event	Foundations of Software Science and Computation Structures, 7th International Conference, (FOSSACS 2004). Part of the Joint European Conferences on Theory and Practice of Software, (ETAPS 2004) - Duration: 1 Mar 2004 → …

Access to Document

10.1007/978-3-540-24727-2_16

Cite this

@article{7a5df2cfc93a441982c93ce61d962361,

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

abstract = "We introduce a game model for a procedural programming language extended with primitives for parallel composition and synchronization on binary semaphores. The model uses an interleaved version of Hyland-Ong-style games, where most of the original combinatorial constraints on positions are replaced with a simple principle naturally related to static process creation. The model is fully abstract for may-equivalence.",

author = "Dan Ghica and AS Murawski and I Walukiewicz",

year = "2004",

month = mar,

day = "1",

doi = "10.1007/978-3-540-24727-2_16",

language = "English",

volume = "2987",

pages = "211--225",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "Foundations of Software Science and Computation Structures, 7th International Conference, (FOSSACS 2004). Part of the Joint European Conferences on Theory and Practice of Software, (ETAPS 2004) ; Conference date: 01-03-2004",

}

TY - JOUR

T1 - Angelic semantics of fine-grained concurrency

AU - Ghica, Dan

AU - Murawski, AS

AU - Walukiewicz, I

PY - 2004/3/1

Y1 - 2004/3/1

N2 - We introduce a game model for a procedural programming language extended with primitives for parallel composition and synchronization on binary semaphores. The model uses an interleaved version of Hyland-Ong-style games, where most of the original combinatorial constraints on positions are replaced with a simple principle naturally related to static process creation. The model is fully abstract for may-equivalence.

AB - We introduce a game model for a procedural programming language extended with primitives for parallel composition and synchronization on binary semaphores. The model uses an interleaved version of Hyland-Ong-style games, where most of the original combinatorial constraints on positions are replaced with a simple principle naturally related to static process creation. The model is fully abstract for may-equivalence.

U2 - 10.1007/978-3-540-24727-2_16

DO - 10.1007/978-3-540-24727-2_16

M3 - Article

SN - 0302-9743

VL - 2987

SP - 211

EP - 225

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Foundations of Software Science and Computation Structures, 7th International Conference, (FOSSACS 2004). Part of the Joint European Conferences on Theory and Practice of Software, (ETAPS 2004)

Y2 - 1 March 2004

ER -

Angelic semantics of fine-grained concurrency

Abstract

Access to Document

Fingerprint

Cite this