License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2017.41
URN: urn:nbn:de:0030-drops-76800
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7680/
Go to the corresponding LIPIcs Volume Portal


de Visme, Marc ; Winskel, Glynn

Strategies with Parallel Causes

pdf-format:
LIPIcs-CSL-2017-41.pdf (0.6 MB)


Abstract

We imagine a team Player engaging a team Opponent in a distributed game. Such games and their strategies have been formalised within event structures. However there are limitations in founding strategies on traditional event structures. Sometimes a probabilistic distributed strategy relies on benign races where, intuitively, several members of team Player may race each other to make a common move. Although there exist event structures which support such parallel causes, in which an event is enabled in several compatible ways, they do not support an operation of hiding central to the composition of strategies; nor do they support probability adequately. An extension of traditional event structures is devised which supports parallel causes and hiding, as well as the mix of probability and nondeterminism needed to account for probabilistic distributed strategies. The extension is located within existing models for concurrency and tested in the construction of a bicategory of probabilistic distributed strategies with parallel causes.

BibTeX - Entry

@InProceedings{devisme_et_al:LIPIcs:2017:7680,
  author =	{Marc de Visme and Glynn Winskel},
  title =	{{Strategies with Parallel Causes}},
  booktitle =	{26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
  pages =	{41:1--41:21},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-045-3},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{82},
  editor =	{Valentin Goranko and Mads Dam},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7680},
  URN =		{urn:nbn:de:0030-drops-76800},
  doi =		{10.4230/LIPIcs.CSL.2017.41},
  annote =	{Keywords: Games, Strategies, Event Structures, Parallel Causes, Probability}
}

Keywords: Games, Strategies, Event Structures, Parallel Causes, Probability
Seminar: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Issue Date: 2017
Date of publication: 14.08.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI