The Winning Ways of Concurrent Games

DOI10.1109/LICS.2012.34zbMath1362.68206OpenAlexW2143870306MaRDI QIDQ2986800

Julian Gutierrez, Glynn Winskel, Pierre Clairambault

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2012.34

zbMATH Keywords

determinacyconcurrent gamesevent structuresnondeterministic strategieswinning conditions

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (11)

On concurrent games with payoff ⋮ Strategies as concurrent processes ⋮ Partial order games ⋮ Multigames and strategies, coalgebraically ⋮ Deterministic concurrent strategies ⋮ Unnamed Item ⋮ On the determinacy of concurrent games on event structures with infinite winning sets ⋮ Partial-order Boolean games: informational independence in a logic-based model of strategic interaction ⋮ Imperfect Information in Logic and Concurrent Games ⋮ Unnamed Item ⋮ Distributed Strategies Made Easy

This page was built for publication: The Winning Ways of Concurrent Games