Causality vs. interleavings in concurrent game semantics

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.
Type de document :
Communication dans un congrès
The 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. 32, pp.1 - 3214, 〈10.4230/LIPIcs.CONCUR.2016.32〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01474550
Contributeur : Pierre Clairambault <>
Soumis le : mercredi 22 février 2017 - 18:50:05
Dernière modification le : jeudi 4 octobre 2018 - 01:15:41
Document(s) archivé(s) le : mardi 23 mai 2017 - 14:34:47

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. 32, pp.1 - 3214, 〈10.4230/LIPIcs.CONCUR.2016.32〉. 〈hal-01474550〉

Partager

Métriques

Consultations de la notice

330

Téléchargements de fichiers

26