Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics

Résumé

Recent developments of game semantics have given rise to new models of concurrent languages. On the one hand, an approach based on string diagrams has given models of CCS and the π-calculus, and on the other hand, Tsukada and Ong have designed a games model for a non-deterministic λ-calculus. There is an obvious, shallow relationship between the two approaches, as they both define innocent strategies as sheaves for a Grothendieck topology embedding " views " into " plays ". However, the notions of views and plays differ greatly between the approaches: Tsukada and Ong use notions from standard game semantics, while the authors of this paper use string diagrams. We here aim to bridge this gap by showing that even though the notions of plays, views, and innocent strategies differ, it is mostly a matter of presentation.
Fichier principal
Vignette du fichier
LIPIcs-CALCO-2017-10.pdf (589.21 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01715405 , version 1 (22-02-2018)

Identifiants

Citer

Clovis Eberhart, Tom Hirschowitz. Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017, Ljubljana, Slovenia. pp.10, ⟨10.4230/LIPIcs.CALCO.2017.10⟩. ⟨hal-01715405⟩
141 Consultations
86 Téléchargements

Altmetric

Partager

More