Castellan, Simon and Clairambault, Pierre and Rideau, Silvain and Winskel, Glynn - Games and Strategies as Event Structures

lmcs:3966 - Logical Methods in Computer Science, September 29, 2017, Volume 13, Issue 3
Games and Strategies as Event Structures

Authors: Castellan, Simon and Clairambault, Pierre and Rideau, Silvain and Winskel, Glynn

In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved by composition with a copycat strategy; and the construction of a bicategory of these strategies. Furthermore, we prove that the corresponding category has a compact closed structure, and hence forms the basis for the semantics of concurrent higher-order computation.


Source : oai:arXiv.org:1604.04390
DOI : 10.23638/LMCS-13(3:35)2017
Volume: Volume 13, Issue 3
Published on: September 29, 2017
Submitted on: September 29, 2017
Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science


Share

Browsing statistics

This page has been seen 97 times.
This article's PDF has been downloaded 54 times.