Non-angelic concurrent game semantics

DOI10.1007/978-3-319-89366-2_1zbMath1504.68123OpenAlexW2796734405MaRDI QIDQ1652962

Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel

Publication date: 17 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-89366-2_1

Mathematics Subject Classification ID

Applications of game theory (91A80) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Unnamed Item ⋮ Unnamed Item ⋮ Distributed Strategies Made Easy