Symmetry in concurrent games

DOI10.1145/2603088.2603141MaRDI QIDQ4635612zbMATH OpenOpenAlexFDO

Authors Simon Castellan, Pierre Clairambault, Glynn Winskel

Publication date 23 April 2018

Published in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2603088.2603141

zbMATH Keywords

concurrencyevent structuresgameshomotopysemanticsstrategiessymmetry

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Games involving topology, set theory, or logic (91A44) Applications of game theory (91A80)

Recommendations

• On the symmetry of sequentiality
• Thin games with symmetry and concurrent Hyland-Ong games
• Symmetry and Concurrency
• Bicategories of concurrent games (invited paper)
• Games and strategies as event structures

Cited in

(11)

• Distributed probabilistic and quantum strategies
• Strategies as concurrent processes
• A truly concurrent game model of the asynchronous -calculus
• Thin games with symmetry and concurrent Hyland-Ong games
• Fully abstract models of the probabilistic -calculus
• QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency
• Causal unfoldings
• The mays and musts of concurrent strategies
• Disentangling parallelism and interference in game semantics
• Bi-invariance for uniform strategies on event structures
• From thin concurrent games to generalized species of structures (extended version)

This page was built for publication: Symmetry in concurrent games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635612)