35 citations · 65 across the 10 of their papers we have counts for
9 papers · 1 filter
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…
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…
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…
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…