Glynn Winskel

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 25

Top Venues

CoRR

LICS

Log. Methods Comput. Sci.

MFPS

Publications

Yoàv Montacute, Glynn Winskel
Concurrent Games over Relational Structures: The Origin of Game Comonads. LICS (2024)
Yoàv Montacute, Glynn Winskel
Concurrent Games over Relational Structures: The Origin of Game Comonads. CoRR (2024)
Sacha Huriot-Tattegrain, Glynn Winskel
Concurrent Strategies on Games with Algebras. CoRR (2024)
Marc de Visme, Glynn Winskel
Causal Unfoldings and Disjunctive Causes. Log. Methods Comput. Sci. 19 (2) (2023)
Glynn Winskel
Making Concurrency Functional. LICS (2023)
Glynn Winskel
Making Concurrency Functional. CoRR (2022)
Simon Castellan, Pierre Clairambault, Glynn Winskel
The Mays and Musts of Concurrent Strategies. CoRR (2021)
Marc de Visme, Glynn Winskel
Causal Unfoldings and Disjunctive Causes. CoRR (2020)
Marc de Visme, Glynn Winskel
Causal Unfoldings. CALCO (2019)
Pierre Clairambault, Marc de Visme, Glynn Winskel
Game semantics for quantum programming. Proc. ACM Program. Lang. 3 (POPL) (2019)
Pierre Clairambault, Marc de Visme, Glynn Winskel
Concurrent Quantum Strategies. RC (2019)
Simon Castellan, Pierre Clairambault, Glynn Winskel
Thin Games with Symmetry and Concurrent Hyland-Ong Games. Log. Methods Comput. Sci. 15 (1) (2019)
Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel
The concurrent game semantics of Probabilistic PCF. LICS (2018)
Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel
The True Concurrency of Herbrand's Theorem. CSL (2018)
Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
Non-angelic Concurrent Game Semantics. FoSSaCS (2018)
Hugo Paquet, Glynn Winskel
Continuous Probability Distributions in Concurrent Games. MFPS (2018)
Marc de Visme, Glynn Winskel
Strategies with Parallel Causes. CSL (2017)
Simon Castellan, Pierre Clairambault, Glynn Winskel
Distributed Strategies Made Easy. MFCS (2017)
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
Games and Strategies as Event Structures. Log. Methods Comput. Sci. 13 (3) (2017)
Simon Castellan, Pierre Clairambault, Glynn Winskel
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or. FSCD (2017)
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
Concurrent Games. CoRR (2016)
Marc de Visme, Glynn Winskel
Strategies with Parallel Causes. CoRR (2016)
Glynn Winskel
Distributed Games and Strategies. CoRR (2016)
Simon Castellan, Pierre Clairambault, Glynn Winskel
The Parallel Intensionally Fully Abstract Games Model of PCF. LICS (2015)
Glynn Winskel
On Probabilistic Distributed Strategies. ICTAC (2015)
Simon Castellan, Pierre Clairambault, Glynn Winskel
Concurrent Hyland-Ong games. CoRR (2014)
Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel
Strategies as Concurrent Processes. MFPS (2014)
Julian Gutierrez, Glynn Winskel
On the determinacy of concurrent games on event structures with infinite winning sets. J. Comput. Syst. Sci. 80 (6) (2014)
Glynn Winskel
Probabilistic and Quantum Event Structures. Horizons of the Mind (2014)
Simon Castellan, Pierre Clairambault, Glynn Winskel
Symmetry in concurrent games. CSL-LICS (2014)
Glynn Winskel
Distributed Probabilistic and Quantum Strategies. MFPS (2013)
Pierre Clairambault, Glynn Winskel
On Concurrent Games with Payoff. MFPS (2013)
Glynn Winskel
Strategies as Profunctors. FoSSaCS (2013)
Julian Gutierrez, Glynn Winskel
Borel Determinacy of Concurrent Games. CONCUR (2013)
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
Imperfect Information in Logic and Concurrent Games. Computation, Logic, Games, and Quantum Foundations (2013)
Vincent Danos, Russell Harmer, Glynn Winskel
Constraining rule-based dynamics with types. Math. Struct. Comput. Sci. 23 (2) (2013)
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
The Winning Ways of Concurrent Games. LICS (2012)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS (2012)
Glynn Winskel
Bicategories of Concurrent Games - (Invited Paper). FoSSaCS (2012)
Glynn Winskel
Deterministic concurrent strategies. Formal Aspects Comput. 24 (4-6) (2012)
Glynn Winskel
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information. Logic and Program Semantics (2012)
Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel
Containment in Rule-Based Models. Electron. Notes Theor. Comput. Sci. 284 (2012)
Glynn Winskel
Events, Causality and Symmetry. Comput. J. 54 (1) (2011)
Silvain Rideau, Glynn Winskel
Concurrent Strategies. LICS (2011)
Sam Staton, Glynn Winskel
On the Expressivity of Symmetry in Event Structures. LICS (2010)
Glynn Winskel
Prime algebraicity. Theor. Comput. Sci. 410 (41) (2009)
David Turner, Glynn Winskel
Nominal Domain Theory for Concurrency. CSL (2009)
Jonathan Hayman, Glynn Winskel
The unfolding of general Petri nets. FSTTCS (2008)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models (2008)
Jonathan Hayman, Glynn Winskel
Independence and Concurrent Separation Logic CoRR (2008)
Glynn Winskel
Events, Causality and Symmetry. BCS Int. Acad. Conf. (2008)
Jonathan Hayman, Glynn Winskel
Independence and Concurrent Separation Logic. Log. Methods Comput. Sci. 4 (1) (2008)
Glynn Winskel
Symmetry and Concurrency. CALCO (2007)
Luca Cardelli, Marcelo P. Fiore, Glynn Winskel
Preface. Electron. Notes Theor. Comput. Sci. 172 (2007)
Glynn Winskel
Event Structures with Symmetry. Electron. Notes Theor. Comput. Sci. 172 (2007)
Daniele Varacca, Glynn Winskel
Distributing probability over non-determinism. Math. Struct. Comput. Sci. 16 (1) (2006)
Jonathan Hayman, Glynn Winskel
Independence and Concurrent Separation Logic. LICS (2006)
Lucy Saunders-Evans, Glynn Winskel
Event Structure Spans for Nondeterministic Dataflow. EXPRESS (2006)
Daniele Varacca, Hagen Völzer, Glynn Winskel
Probabilistic event structures and domains. Theor. Comput. Sci. 358 (2-3) (2006)
Glynn Winskel
Relations in Concurrency. LICS (2005)
Glynn Winskel
Name Generation and Linearity. LICS (2005)
Federico Crazzolara, Glynn Winskel
Petri Nets With Persistence. Electron. Notes Theor. Comput. Sci. 121 (2005)
Gian Luca Cattani, Glynn Winskel
Profunctors, open maps and bisimulation. Math. Struct. Comput. Sci. 15 (3) (2005)
Daniele Varacca, Hagen Völzer, Glynn Winskel
Probabilistic Event Structures and Domains. CONCUR (2004)
Mario Cáccamo, Glynn Winskel
Limit Preservation from Naturality. CTCS (2004)
Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. 14 (5) (2004)
Glynn Winskel, Francesco Zappa Nardelli
New-HOPLA: A Higher-order Process Language with Name Generation. IFIP TCS (2004)
Mikkel Nygaard, Glynn Winskel
Domain theory for concurrency. Theor. Comput. Sci. 316 (1) (2004)
Mikkel Nygaard, Glynn Winskel
Full Abstraction for HOPLA. CONCUR (2003)
Gian Luca Cattani, Glynn Winskel
Presheaf models for CCS-like languages. Theor. Comput. Sci. 300 (1-3) (2003)
Mikkel Nygaard, Glynn Winskel
Linearity in Process Languages. LICS (2002)
Mikkel Nygaard, Glynn Winskel
HOPLA-A Higher-Order Process Language. CONCUR (2002)
Glynn Winskel
Calculus for categories. FICS (2002)
Federico Crazzolara, Glynn Winskel
Composing Strand Spaces. FSTTCS (2002)
Glynn Winskel
Guest Editorial. Inf. Comput. 179 (2) (2002)
Federico Crazzolara, Glynn Winskel
Events in security protocols. CCS (2001)
Mario Cáccamo, Glynn Winskel
A Higher-Order Calculus for Categories. TPHOLs (2001)
Federico Crazzolara, Glynn Winskel
Petri nets in cryptographic protocols. IPDPS (2001)
Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel
Preface. Ann. Pure Appl. Log. 104 (1-3) (2000)
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel
Bistructures, bidomains, and linear logic. Proof, Language, and Interaction (2000)
Glynn Winskel
Event Structures as Presheaves -Two Representation Theorems. CONCUR (1999)
Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
Weak Bisimulation and Open Maps. LICS (1999)
Gian Luca Cattani, John Power, Glynn Winskel
A Categorical Axiomatics for Bisimulation. CONCUR (1998)
Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
A Relational Model of Non-deterministic Dataflow. CONCUR (1998)
Glynn Winskel
A Linear Metalanguage for Concurrency. AMAST (1998)
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
A Theory of Recursive Domains with Applications to Concurrency. LICS (1998)
Glynn Winskel
An Operational Understanding of Bisimulation from Open Maps. Electron. Notes Theor. Comput. Sci. 10 (1997)
Gian Luca Cattani, Ian Stark, Glynn Winskel
Presheaf Models for the pi-Calculus. Category Theory and Computer Science (1997)
Uffe Engberg, Glynn Winskel
Completeness Results for Linear Logic on Petri Nets. Ann. Pure Appl. Log. 86 (2) (1997)
Mogens Nielsen, Glynn Winskel
Petri Nets and Bisimulation. Theor. Comput. Sci. 153 (1&2) (1996)
Gian Luca Cattani, Glynn Winskel
Presheaf Models for Concurrency. CSL (1996)
André Joyal, Mogens Nielsen, Glynn Winskel
Bisimulation from Open Maps. Inf. Comput. 127 (2) (1996)
Glynn Winskel
A Presheaf Semantics of Value-Passing Processes. CONCUR (1996)
Glynn Winskel, Mogens Nielsen
Presheaves as transition systems. Partial Order Methods in Verification (1996)
Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
Models for Concurrency: Towards a Classification. Theor. Comput. Sci. 170 (1-2) (1996)
Juanito Camilleri, Glynn Winskel
CCS with Priority Choice Inf. Comput. 116 (1) (1995)
Gordon D. Plotkin, Glynn Winskel
Bistructures, Bidomains and Linear Logic. ICALP (1994)
Henrik Reif Andersen, Colin Stirling, Glynn Winskel
A Compositional Proof System for the Modal mu-Calculus LICS (1994)
Glynn Winskel
Stable Bistructure Models of PCF. MFCS (1994)
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
Relationships Between Models of Concurrency. REX School/Symposium (1993)

Glynn Winskel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Glynn Winskel