Skip to Main content Skip to Navigation
New interface
Conference papers

Causality vs. interleavings in concurrent game semantics

Simon Castellan 1 Pierre Clairambault 1, 2 
2 PLUME - Preuves et Langages
LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : We investigate relationships between interleaving and causal notions of game semantics for concurrent programming languages, focusing on the existence of canonical compact causal representations of the interleaving game semantics of programs. We perform our study on an affine variant of Idealized Parallel Algol (IPA), for which we present two games model: an interleaving model (an adaptation of Ghica and Murawski's fully abstract games model for IPA up to may-testing), and a causal model (a variant of Rideau and Winskel's games on event structures). Both models are sound and adequate for affine IPA. Then, we relate the two models. First we give a causality-forgetting operation mapping functorially the causal model to the interleaving one. We show that from an interleaving strategy we can reconstruct a causal strategy, from which it follows that the interleaving model is the observational quotient of the causal one. Then, we investigate several reconstructions of causal strategies from interleaving ones, showing finally that there are programs which are inherently causally ambiguous, with several distinct minimal causal representations.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01474550
Contributor : Pierre Clairambault Connect in order to contact the contributor
Submitted on : Wednesday, February 22, 2017 - 6:50:05 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM
Long-term archiving on: : Tuesday, May 23, 2017 - 2:34:47 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Simon Castellan, Pierre Clairambault. Causality vs. interleavings in concurrent game semantics. The 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.1 - 3214, ⟨10.4230/LIPIcs.CONCUR.2016.32⟩. ⟨hal-01474550⟩

Share

Metrics

Record views

184

Files downloads

77