Journal article

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.

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Ghica, D., & Murawski, A. (2008). Angelic semantics of fine-grained concurrency. Annals of Pure and Applied Logic, 151(2-3), 89–114.

MLA Style

Ghica, D, and A Murawski. “Angelic Semantics of Fine-Grained Concurrency.” Annals of Pure and Applied Logic, Publisher's version, vol. 151, nos. 2-3, 2008, pp. 89–114.

Chicago Style

Ghica, D, and A Murawski. 2008. “Angelic Semantics of Fine-Grained Concurrency.” Annals of Pure and Applied Logic 151 (2-3): 89–114.
Print

Access Document

Files:: 1-s2.0-S0168007207000851-main.pdf

(Preview, Version of record, pdf, 484.6KB, Terms of use)

Publisher copy:: 10.1016/j.apal.2007.10.005

Authors

+ Ghica, D More by this author

Institution:: University of Birmingham
Department:: School of Computer Science
Role:: Author

+ Murawski, A More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Role:: Author

+ Engineering and Physical Sciences Research Council More from this funder

Grant:: GR/R88861

Publisher:: Elsevier
Journal:: Annals of Pure and Applied Logic More from this journal
Volume:: 151
Issue:: 2-3
Pages:: 89-114
Publication date:: 2008-02-01
Edition:: Publisher's version
DOI:: 10.1016/j.apal.2007.10.005
ISSN:: 0168-0072

Language:: English
Keywords:: game semantics

shared-memory concurrency

may-equivalence
Subjects:: Game semantics

Computing

Computer science (mathematics)
UUID:: uuid:46b97d31-7737-496a-ba2d-175c34ac5f44
Local pid:: ora:8089
Deposit date:: 2014-02-25
ARK identifier:: ark:/29072/ora_46b97d317737496aba2d175c34ac5f44

Terms of use

Copyright holder:: Elsevier BV
Copyright date:: 2007
Notes:: Copyright 2007 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/ (accessed 21/02/2014).

Licence:: Other

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP