Skip to Main content Skip to Navigation
New interface
Conference papers

Symmetry in Concurrent Games

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Pierre Clairambault Connect in order to contact the contributor
Submitted on : Tuesday, June 24, 2014 - 3:08:49 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM
Long-term archiving on: : Wednesday, September 24, 2014 - 10:41:05 AM


Files produced by the author(s)


  • HAL Id : hal-00990020, version 1



Simon Castellan, Pierre Clairambault, Glynn Winskel. Symmetry in Concurrent Games. Logic in Computer Science, Jul 2014, Vienna, Austria. 10 p. ⟨hal-00990020⟩



Record views


Files downloads