The Winning Ways of Concurrent Games

Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an extension of concurrent games by winning conditions, specifying

• Type: Journal
• Year: 2012
• Where: LICS
• Authors: Pierre Clairambault, Julian Gutierrez, Glynn Winskel
• Keywords: Automated Reasoning, Games, LICS 2012, Maps, Paper Studies