Games and Strategies as Event Structures

zbMath1459.68111arXiv1604.04390MaRDI QIDQ5367074

Silvain Rideau, Simon Castellan, Pierre Clairambault, Glynn Winskel

Publication date: 12 October 2017

Full work available at URL: https://arxiv.org/abs/1604.04390

zbMATH Keywords

concurrencygamesevent structures

Mathematics Subject Classification ID

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

Related Items (5)

Relative full completeness for bicategorical Cartesian closed structure ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributed Strategies Made Easy

This page was built for publication: Games and Strategies as Event Structures