Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information

DOI10.1007/978-3-642-29485-3_19zbMath1291.03071OpenAlexW119823047MaRDI QIDQ2897960

Glynn Winskel

Publication date: 16 July 2012

Published in: Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_19

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

Distributed probabilistic and quantum strategies ⋮ Strategies as concurrent processes ⋮ Distributed Strategies Made Easy