Games and Strategies as Event Structures release_le36hcpfabbhro73l7zchqmrva

by Simon Castellan, Silvain Rideau, Glynn Winskel

Released as a article .

2017  

Abstract

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.
In text/plain format

Archived Files and Locations

application/pdf  608.8 kB
file_tj7gboe72ze3xmcwjjvz7iq6ru
lmcs.episciences.org (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   accepted
Date   2017-09-27
Version   v5
Language   en ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 89bbf763-cc8e-48c9-8a5c-705d7e80fac0
API URL: JSON