35 citations · 65 across the 10 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 7 cited
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…
cs.LO2014★ 1 cited
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…