Symmetry in concurrent games

Simon Castellan, Pierre Clairambault, Glynn Winskel

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

13 Citations (Scopus)

Abstract

Behavioural symmetry is introduced into concurrent games. It expresses when plays are essentially the same. A characterization of strategies on games with symmetry is provided. This leads to a bicategory of strategies on games with symmetry. Symmetry helps allay the perhaps overly-concrete nature of games and strategies, and shares many mathematical features with homotopy. In the presence of symmetry we can consider monads for which the monad laws do not hold on the nose but do hold up to symmetry. This broadening of the concept of monad has a dramatic effect on the types concurrent games can support and allows us, for example, to recover the replication needed to express and extend traditional game semantics.

Original languageEnglish
Title of host publicationProceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014
Place of PublicationNew York
Number of pages10
DOIs
Publication statusPublished - 31 Jul 2014
EventJoint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014 - Vienna, Austria
Duration: 14 Jul 201418 Jul 2014

Conference

ConferenceJoint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014
CountryAustria
CityVienna
Period14/07/1418/07/14

Keywords

  • concurrency
  • event Structures
  • games
  • homotopy
  • semantics
  • strategies
  • symmetry

Fingerprint Dive into the research topics of 'Symmetry in concurrent games'. Together they form a unique fingerprint.

Cite this