[PDF][PDF] Foreword in honor of Glynn Winskel.
A Benveniste, C Jard, S Abbes - Theor. Comput. Sci., 2014 - academia.edu
Nearly four decades later, the theory of concurrency originally proposed by Glynn Winskel
under the model of Event Structures still has a strong impact. Event Structures capture …
under the model of Event Structures still has a strong impact. Event Structures capture …
[PDF][PDF] For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games
G Winskel - 2014 - Citeseer
… the demands of compositionality force denotations to be more intensional than one would
at first expect; this occurs for example with nondeterministic dataflow—see the Introduction. …
at first expect; this occurs for example with nondeterministic dataflow—see the Introduction. …
[PDF][PDF] Denotational Semantics
G Winskel - CS Lecture Notes, Cambridge University, 2005 - twiki.di.uniroma1.it
… This course gives a brief introduction to some of the techniques of the denotational approach.
One of the aims of Denotational Semantics is to specify programming language constructs …
One of the aims of Denotational Semantics is to specify programming language constructs …
[PDF][PDF] Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015
G Winskel - cl.cam.ac.uk
… the demands of compositionality force denotations to be more intensional than one would
at first expect; this occurs for example with nondeterministic dataflow—see the Introduction. …
at first expect; this occurs for example with nondeterministic dataflow—see the Introduction. …
[PDF][PDF] Domain Theory for Concurrency—New Categorical Foundations
… discovery by Nygaard and Winskel of representations of the … So far, recognition of the place
of linearity has led to new … foundations provides for the introduction of internal actions and …
of linearity has led to new … foundations provides for the introduction of internal actions and …
[PDF][PDF] Event structures, stable families and concurrent games
G Winskel - 2016 - cl.cam.ac.uk
… the demands of compositionality force denotations to be more intensional than one would
at first expect; this occurs for example with nondeterministic dataflow—see the Introduction. …
at first expect; this occurs for example with nondeterministic dataflow—see the Introduction. …
Concurrent Games over Relational Structures: The Origin of Game Comonads
Y Montacute, G Winskel - arXiv preprint arXiv:2405.11267, 2024 - arxiv.org
… By restricting the size of the set of variables𝑉, we can bound the memory intrinsic to a
game, in the manner of pebble games [14]. We will work with many-sorted relational structures …
game, in the manner of pebble games [14]. We will work with many-sorted relational structures …
Prime algebraicity
G Winskel - Theoretical Computer Science, 2009 - Elsevier
… The recognition that prime algebraic lattices were well-known in another guise, that of …
Since their introduction, prime algebraic domains have come to play a significant role in several …
Since their introduction, prime algebraic domains have come to play a significant role in several …
Strategies as profunctors
G Winskel - International Conference on Foundations of Software …, 2013 - Springer
A new characterization of nondeterministic concurrent strategies exhibits strategies as certain
discrete fibrations—or equivalently presheaves—over configurations of the game. This …
discrete fibrations—or equivalently presheaves—over configurations of the game. This …
[PDF][PDF] Preface
L Cardelli, M Fiore, G Winskel - Electronic Notes in Theoretical …, 2007 - cyberleninka.org
… with Gordon Plotkin as supervisor: Winskel (1977-80); Cardelli (1978-81); Fiore (1990-93).
We are delighted to be part in the creation of this volume in honour of our former supervisor. …
We are delighted to be part in the creation of this volume in honour of our former supervisor. …