35 citations · 65 across the 10 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Concurrent Games over Relational Structures: The Origin of Game Comonads
Yoàv Montacute, Glynn Winskel
Spoiler-Duplicator games are used in finite model theory to examine the expressive power of logics. Their strategies have recently been reformulated as coKleisli maps of game comon…
cs.GT2024
Concurrent Strategies on Games with Algebras
Sacha Huriot-Tattegrain, Glynn Winskel
Probabilistic concurrent/distributed strategies have so far not been investigated thoroughly in the context of imperfect information, where the Player has only partial knowledge of…