Borel Determinacy of Concurrent Games

DOI10.1007/978-3-642-40184-8_36zbMath1291.68287OpenAlexW45652848MaRDI QIDQ2842130

Glynn Winskel, Julian Gutierrez

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40184-8_36

Mathematics Subject Classification ID

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

This page was built for publication: Borel Determinacy of Concurrent Games