Thin Games with Symmetry and Concurrent Hyland-Ong Games

zbMath1407.68099arXiv1409.7542MaRDI QIDQ3121519

Simon Castellan, Pierre Clairambault, Glynn Winskel

Publication date: 18 March 2019

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

zbMATH Keywords

concurrencygame semanticsevent structures

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) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Continuous probability distributions in concurrent games ⋮ Partial order games ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Thin Games with Symmetry and Concurrent Hyland-Ong Games