35 citations · 65 across the 10 of their papers we have counts for
13 papers
Concurrent Strategies as Street Fibrations
Hugo Paquet, Glynn Winskel
Concurrent games and strategies based on event structures are an established and expressive model of interactive computation. In this paper we revisit the problem of equipping this…
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…
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…
Making Concurrency Functional
Glynn Winskel
The article bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to its envi…
The Mays and Musts of Concurrent Strategies
Simon Castellan, Pierre Clairambault, Glynn Winskel
Concurrent strategies based on event structures are examined from the viewpoint of 'may' and 'must' testing in traditional process calculi. In their pure form concurrent strategies…
Causal Unfoldings and Disjunctive Causes
Marc de Visme, Glynn Winskel
In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to…
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Marcelo Fiore, Nicola Gambino, Martin Hyland +1
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then pr…
Distributed Games and Strategies
Glynn Winskel
A summary of work on distributed games and strategies done within the first three years of the ERC project ECSYM is presented.
Strategies with Parallel Causes
Marc de Visme, Glynn Winskel
In a distributed game we imagine a team Player engaging a team Opponent in a distributed fashion. Such games and their strategies have been formalised in concurrent games based on…
Games and Strategies as Event Structures
Simon Castellan, Pierre Clairambault, Silvain Rideau +1
In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detaile…
Thin Games with Symmetry and Concurrent Hyland-Ong Games
Simon Castellan, Pierre Clairambault, Glynn Winskel
We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: o…
Proceedings 8th International Workshop on Developments in Computational Models
Benedikt Löwe, Glynn Winskel
The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for…
Independence and concurrent separation logic
Jonathan Hayman, Glynn Winskel
A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the…