Bicategories of Concurrent Games

DOI10.1007/978-3-642-28729-9_2zbMATH Open1291.03070OpenAlexW29285343MaRDI QIDQ2892756

Glynn Winskel

Publication date: 22 June 2012

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_2

zbMATH Keywords

concurrencydeterminacyconcurrent gamesevent structuresstrategieswinning conditions

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Constructing Differential Categories and Deconstructing Categories of Games

This page was built for publication: Bicategories of Concurrent Games

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