Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Justified sequences in string diagrams: A comparison between two approaches to concurrent game semantics

Abstract : We compare two approaches to concurrent game semantics, one by Tsukada and Ong for a simply-typed λ-calculus and the other by the authors and collaborators for CCS and the π-calculus. The two approaches are obviously related, as they both define strategies as sheaves for the Grothendieck topology induced by embedding ‘views’ into ‘plays’. However, despite this superficial similarity, the notions of views and plays differ significantly: the former is based on standard justified sequences, the latter uses string diagrams. In this paper, we relate both approaches at the level of plays. Specifically, we design a notion of play (resp. view) for the simply-typed λ-calculus, based on string diagrams as in our previous work, into which we fully embed Tsukada and Ong's plays (resp. views). We further provide a categorical explanation of why both notions yield essentially the same model, thus demonstrating that the difference is a matter of presentation. In passing, we introduce an abstract framework for producing sheaf models based on string diagrams, which unifies our present and previous models.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01372582
Contributor : Tom Hirschowitz Connect in order to contact the contributor
Submitted on : Tuesday, September 27, 2016 - 2:21:34 PM
Last modification on : Friday, January 28, 2022 - 3:00:02 PM
Long-term archiving on: : Wednesday, December 28, 2016 - 2:05:21 PM

File

article2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01372582, version 1

Collections

Citation

Clovis Eberhart, Tom Hirschowitz. Justified sequences in string diagrams: A comparison between two approaches to concurrent game semantics. 2016. ⟨hal-01372582⟩

Share

Metrics

Record views

104

Files downloads

95