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.
Type de document :
Communication dans un congrès
Logic in Computer Science, Jul 2014, Vienna, Austria. IEEE Computer Society, Proceedings of the 29th Annual IEEE Symposium on Logic in Computer Science, 10 p., 2014
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00990020
Contributeur : Pierre Clairambault <>
Soumis le : mardi 24 juin 2014 - 15:08:49
Dernière modification le : mercredi 3 octobre 2018 - 13:18:41
Document(s) archivé(s) le : mercredi 24 septembre 2014 - 10:41:05

Fichier

GameswSymm2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00990020, version 1

Collections

Citation

Simon Castellan, Pierre Clairambault, Glynn Winskel. Symmetry in Concurrent Games. Logic in Computer Science, Jul 2014, Vienna, Austria. IEEE Computer Society, Proceedings of the 29th Annual IEEE Symposium on Logic in Computer Science, 10 p., 2014. 〈hal-00990020〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

125