Glynn Winskel

According to our database, Glynn Winskel authored at least 126 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Concurrent Strategies on Games with Algebras.

Sacha Huriot-Tattegrain, Glynn Winskel

CoRR, 2024

2023

Causal Unfoldings and Disjunctive Causes.

Marc de Visme, Glynn Winskel

Log. Methods Comput. Sci., 2023

Making Concurrency Functional.

Glynn Winskel

LICS, 2023

2021

The Mays and Musts of Concurrent Strategies.

Simon Castellan, Pierre Clairambault, Glynn Winskel

CoRR, 2021

2019

Game semantics for quantum programming.

Pierre Clairambault, Marc de Visme, Glynn Winskel

Proc. ACM Program. Lang., 2019

Thin Games with Symmetry and Concurrent Hyland-Ong Games.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Log. Methods Comput. Sci., 2019

Concurrent Quantum Strategies.

Pierre Clairambault, Marc de Visme, Glynn Winskel

Proceedings of the Reversible Computation - 11th International Conference, 2019

Causal Unfoldings.

Marc de Visme, Glynn Winskel

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Continuous Probability Distributions in Concurrent Games.

Hugo Paquet, Glynn Winskel

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

The concurrent game semantics of Probabilistic PCF.

Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Non-angelic Concurrent Game Semantics.

Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel

Proceedings of the Foundations of Software Science and Computation Structures, 2018

The True Concurrency of Herbrand's Theorem.

Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Games and Strategies as Event Structures.

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

Log. Methods Comput. Sci., 2017

Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Distributed Strategies Made Easy.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Strategies with Parallel Causes.

Marc de Visme, Glynn Winskel

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Distributed Games and Strategies.

Glynn Winskel

CoRR, 2016

Concurrent Games.

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

CoRR, 2016

2015

The Parallel Intensionally Fully Abstract Games Model of PCF.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

On Probabilistic Distributed Strategies.

Glynn Winskel

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

On the determinacy of concurrent games on event structures with infinite winning sets.

Julian Gutierrez, Glynn Winskel

J. Comput. Syst. Sci., 2014

Strategies as Concurrent Processes.

Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Concurrent Hyland-Ong games.

Simon Castellan, Pierre Clairambault, Glynn Winskel

CoRR, 2014

Symmetry in concurrent games.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Probabilistic and Quantum Event Structures.

Glynn Winskel

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Constraining rule-based dynamics with types.

Vincent Danos, Russell Harmer, Glynn Winskel

Math. Struct. Comput. Sci., 2013

Distributed Probabilistic and Quantum Strategies.

Glynn Winskel

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

On Concurrent Games with Payoff.

Pierre Clairambault, Glynn Winskel

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Strategies as Profunctors.

Glynn Winskel

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Borel Determinacy of Concurrent Games.

Julian Gutierrez, Glynn Winskel

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Imperfect Information in Logic and Concurrent Games.

Pierre Clairambault, Julian Gutierrez, Glynn Winskel

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Deterministic concurrent strategies.

Glynn Winskel

Formal Aspects Comput., 2012

The Winning Ways of Concurrent Games.

Pierre Clairambault, Julian Gutierrez, Glynn Winskel

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Bicategories of Concurrent Games - (Invited Paper).

Glynn Winskel

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information.

Glynn Winskel

Proceedings of the Logic and Program Semantics, 2012

2011

Containment in Rule-Based Models.

Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

Events, Causality and Symmetry.

Glynn Winskel

Comput. J., 2011

Concurrent Strategies.

Silvain Rideau, Glynn Winskel

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

On the Expressivity of Symmetry in Event Structures.

Sam Staton, Glynn Winskel

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Prime algebraicity.

Glynn Winskel

Theor. Comput. Sci., 2009

Nominal Domain Theory for Concurrency.

David Turner, Glynn Winskel

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Independence and Concurrent Separation Logic.

Jonathan Hayman, Glynn Winskel

Log. Methods Comput. Sci., 2008

The unfolding of general Petri nets.

Jonathan Hayman, Glynn Winskel

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel

Proceedings of the Concurrency, 2008

2007

Event Structures with Symmetry.

Glynn Winskel

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Preface.

Luca Cardelli, Marcelo P. Fiore, Glynn Winskel

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Symmetry and Concurrency.

Glynn Winskel

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Probabilistic event structures and domains.

Daniele Varacca, Hagen Völzer, Glynn Winskel

Theor. Comput. Sci., 2006

Distributing probability over non-determinism.

Daniele Varacca, Glynn Winskel

Math. Struct. Comput. Sci., 2006

Event Structure Spans for Nondeterministic Dataflow.

Lucy Saunders-Evans, Glynn Winskel

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

2005

Profunctors, open maps and bisimulation.

Gian Luca Cattani, Glynn Winskel

Math. Struct. Comput. Sci., 2005

Name Generation and Linearity.

Glynn Winskel

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Relations in Concurrency.

Glynn Winskel

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Domain theory for concurrency.

Mikkel Nygaard, Glynn Winskel

Theor. Comput. Sci., 2004

A relational model of non-deterministic dataflow.

Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel

Math. Struct. Comput. Sci., 2004

Petri Nets With Persistence.

Federico Crazzolara, Glynn Winskel

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Limit Preservation from Naturality.

Mario Cáccamo, Glynn Winskel

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

New-HOPLA: A Higher-order Process Language with Name Generation.

Glynn Winskel, Francesco Zappa Nardelli

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Presheaf models for CCS-like languages.

Gian Luca Cattani, Glynn Winskel

Theor. Comput. Sci., 2003

Full Abstraction for HOPLA.

Mikkel Nygaard, Glynn Winskel

Proceedings of the CONCUR 2003, 2003

2002

Guest Editorial.

Glynn Winskel

Inf. Comput., 2002

Linearity in Process Languages.

Mikkel Nygaard, Glynn Winskel

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Composing Strand Spaces.

Federico Crazzolara, Glynn Winskel

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Calculus for categories.

Glynn Winskel

Proceedings of the Fixed Points in Computer Science, 2002

HOPLA-A Higher-Order Process Language.

Mikkel Nygaard, Glynn Winskel

Proceedings of the CONCUR 2002, 2002

2001

A Higher-Order Calculus for Categories.

Mario Cáccamo, Glynn Winskel

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Petri nets in cryptographic protocols.

Federico Crazzolara, Glynn Winskel

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Events in security protocols.

Federico Crazzolara, Glynn Winskel

Proceedings of the CCS 2001, 2001

2000

Preface.

Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel

Ann. Pure Appl. Log., 2000

Bistructures, bidomains, and linear logic.

Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Weak Bisimulation and Open Maps.

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Event Structures as Presheaves -Two Representation Theorems.

Glynn Winskel

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

A Theory of Recursive Domains with Applications to Concurrency.

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

A Categorical Axiomatics for Bisimulation.

Gian Luca Cattani, John Power, Glynn Winskel

Proceedings of the CONCUR '98: Concurrency Theory, 1998

A Linear Metalanguage for Concurrency.

Glynn Winskel

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

An Operational Understanding of Bisimulation from Open Maps.

Glynn Winskel

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Completeness Results for Linear Logic on Petri Nets.

Uffe Engberg, Glynn Winskel

Ann. Pure Appl. Log., 1997

Presheaf Models for the pi-Calculus.

Gian Luca Cattani, Ian Stark, Glynn Winskel

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Models for Concurrency: Towards a Classification.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Theor. Comput. Sci., 1996

Petri Nets and Bisimulation.

Mogens Nielsen, Glynn Winskel

Theor. Comput. Sci., 1996

Bisimulation from Open Maps.

André Joyal, Mogens Nielsen, Glynn Winskel

Inf. Comput., 1996

Presheaves as transition systems.

Glynn Winskel, Mogens Nielsen

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Presheaf Models for Concurrency.

Gian Luca Cattani, Glynn Winskel

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

A Presheaf Semantics of Value-Passing Processes.

Glynn Winskel

Proceedings of the CONCUR '96, 1996

1995

CCS with Priority Choice

Juanito Camilleri, Glynn Winskel

Inf. Comput., January, 1995

Trace Structures and other Models for Concurrency.

Mogens Nielsen, Glynn Winskel

Proceedings of the Book of Traces, 1995

1994

Stable Bistructure Models of PCF.

Glynn Winskel

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

A Compositional Proof System for the Modal mu-Calculus

Henrik Reif Andersen, Colin Stirling, Glynn Winskel

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Bistructures, Bidomains and Linear Logic.

Gordon D. Plotkin, Glynn Winskel

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

Relationships Between Models of Concurrency.

Mogens Nielsen, Vladimiro Sassone, Glynn Winskel

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

Linear Logic on Petri Nets.

Uffe Engberg, Glynn Winskel

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

Deterministic Behavioural Models for Concurrency.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Bisimulation and open maps

André Joyal, Mogens Nielsen, Glynn Winskel

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

A Classification of Models for Concurrency.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Proceedings of the CONCUR '93, 1993

The formal semantics of programming languages - an introduction.

Glynn Winskel

Foundation of computing series, MIT Press, ISBN: 978-0-262-23169-5, 1993

1992

Compositional Checking of Satsfaction.

Henrik Reif Andersen, Glynn Winskel

Formal Methods Syst. Des., 1992

1991

Using Information Systems to Solve Recursive Domain Equations

Kim Guldstrand Larsen, Glynn Winskel

Inf. Comput., April, 1991

A Note on Model Checking the Modal nu-Calculus.

Glynn Winskel

Theor. Comput. Sci., 1991

Petri Nets and Transition Systems (Abstract for an invited talk).

Glynn Winskel

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

Compositional Checking of Satisfaction.

Henrik Reif Andersen, Glynn Winskel

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

A Compositional Proof System on a Category of Labelled Transition Systems

Glynn Winskel

Inf. Comput., 1990

On the Compositional Checking of Validity (Extended Abstract).

Glynn Winskel

Proceedings of the CONCUR '90, 1990

Petri Nets as Models of Linear Logic.

Uffe Engberg, Glynn Winskel

Proceedings of the CAAP '90, 1990

1989

Domain Theoretic Models of Polymorphism

Thierry Coquand, Carl A. Gunter, Glynn Winskel

Inf. Comput., May, 1989

1988

An introduction to event structures.

Glynn Winskel

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract)

Glynn Winskel

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Petri Nets, Algebras, Morphisms, and Compositionality

Glynn Winskel

Inf. Comput., March, 1987

DI-Domains as a Model of Polymorphism.

Thierry Coquand, Carl A. Gunter, Glynn Winskel

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

Relating Two Models of Hardware.

Glynn Winskel

Proceedings of the Category Theory and Computer Science, 1987

1986

Event Structures.

Glynn Winskel

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

On Powerdomains and Modality.

Glynn Winskel

Theor. Comput. Sci., 1985

A Complete System for SCCS with Modal Assertions.

Glynn Winskel

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

Category Theory and Models for Parallel Computation.

Glynn Winskel

Proceedings of the Category Theory and Computer Programming, 1985

Petri nets, morphisms and compositionality.

Glynn Winskel

Proceedings of the Advances in Petri Nets 1985, 1985

1984

Synchronization Trees.

Glynn Winskel

Theor. Comput. Sci., 1984

A New Definition of Morphism on Petri Nets.

Glynn Winskel

Proceedings of the STACS 84, 1984

Using Information Systems to Solve Recursive Domain Equations Effectively.

Glynn Winskel, Kim Guldstrand Larsen

Proceedings of the Semantics of Data Types, International Symposium, 1984

Categories of Models for Concurrency.

Glynn Winskel

Proceedings of the Seminar on Concurrency, 1984

On the Composition and Decomposition of Assertions.

Glynn Winskel

Proceedings of the Seminar on Concurrency, 1984

1983

Synchronisation Trees.

Glynn Winskel

Proceedings of the Automata, 1983

A Note on Powerdomains and Modalitiy.

Glynn Winskel

Proceedings of the Fundamentals of Computation Theory, 1983

1982

Event Structure Semantics for CCS and Related Languages.

Glynn Winskel

Proceedings of the Automata, 1982

1981

Petri Nets, Event Structures and Domains, Part I.

Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel

Theor. Comput. Sci., 1981

An Exercise in Processes with Infinite Pasts.

Glynn Winskel

Proceedings of the Application and Theory of Petri Nets, 1981

1979

Petri Nets, Event Structures and Domains.

Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel

Proceedings of the Semantics of Concurrent Computation, 1979