Games and Strategies as Event Structures
release_le36hcpfabbhro73l7zchqmrva
by
Simon Castellan, Silvain Rideau,
Glynn Winskel
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) |
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar