Concurrent games over relational structures: the origin of game comonads

DOI10.1145/3661814.3662075MaRDI QIDQ6970214zbMATH OpenFDO

Authors Glynn Winskel

Publication date 18 June 2025

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Eilenberg-Moore and Kleisli constructions for monads (18C20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Concurrent games over relational structures: the origin of game comonads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970214)