Professor Glynn Winskel

Professor

School of Electronic Engineering and Computer Science
Queen Mary University of London

g.winskel@qmul.ac.uk

Centre for Fundamentals of AI and Computational Theory

Publications
Research Group
News

Publications

2025

Distributed Strategies—Past and Future
Winskel G
Acm Siglog News, Association For Computing Machinery (Acm) vol. 12 (2), 3-33.

DOI 10.1145/3734192.3734195

QMRO

01-04-2025

2024

Concurrent Games over Relational Structures: The Origin of Game Comonads
Montacute Y Winskel G
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science., 1-14.

DOI 10.1145/3661814.3662075

QMRO

08-07-2024

2023

Making Concurrency Functional
Winskel G
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). vol. 00, 1-14.

DOI 10.1109/lics56636.2023.10175727

29-06-2023

Causal Unfoldings and Disjunctive Causes
de Visme M Winskel G
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 19, Issue 2

DOI 10.46298/lmcs-19(2:4)2023

20-04-2023

The Mays and Musts of Concurrent Strategies
Castellan S Clairambault P Winskel G
In Samson Abramsky on Logic and Structure in Computer Science and Beyond, Springer Nature 327-361.

DOI 10.1007/978-3-031-24117-8_9

01-01-2023

2022

Domain theory meets interaction
Winskel G
Communications of Huawei Research, Huawei Technologies Co. (3), 103-117.
01-12-2022

2019

Causal unfoldings
de Visme M Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 139

DOI 10.4230/LIPIcs.CALCO.2019.9

01-11-2019

Thin Games with Symmetry and Concurrent Hyland-Ong Games
Castellan S Clairambault P Winskel G
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 15, Issue 1

DOI 10.23638/lmcs-15(1:18)2019

04-03-2019

Game semantics for quantum programming
Clairambault P De Visme M Winskel G
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 3 (POPL), 1-29.

DOI 10.1145/3290345

02-01-2019

Concurrent Quantum Strategies
Clairambault P de Visme M Winskel G
Lecture Notes in Computer Science. vol. 11497, 3-19.

DOI 10.1007/978-3-030-21500-2_1

01-01-2019

2018

Continuous Probability Distributions in Concurrent Games
Paquet H Winskel G
Electronic Notes in Theoretical Computer Science, Elsevier vol. 341, 321-344.

DOI 10.1016/j.entcs.2018.11.016

01-12-2018

The true concurrency of herbrand's theorem
Alcolei A Clairambault P Hyland M Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 119

DOI 10.4230/LIPIcs.CSL.2018.5

01-08-2018

The concurrent game semantics of Probabilistic PCF
Castellan S Clairambault P Paquet H Winskel G
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science., 215-224.

DOI 10.1145/3209108.3209187

09-07-2018

Non-angelic Concurrent Game Semantics
Castellan S Clairambault P Hayman J Winskel G
Lecture Notes in Computer Science. vol. 10803, 3-19.

DOI 10.1007/978-3-319-89366-2_1

01-01-2018

2017

Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Fiore M Gambino N Hyland M Winskel G
Selecta Mathematica, Springer Nature vol. 24 (3), 2791-2830.

DOI 10.1007/s00029-017-0361-3

20-11-2017

Distributed strategies made easy
Castellan S Clairambault P Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 83

DOI 10.4230/LIPIcs.MFCS.2017.81

01-11-2017

Games and Strategies as Event Structures
Castellan S Clairambault P Rideau S Winskel G
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 13, Issue 3

DOI 10.23638/lmcs-13(3:35)2017

29-09-2017

Observably deterministic concurrent strategies & intensional full abstraction for parallel-or
Castellan S Clairambault P Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 84

DOI 10.4230/LIPIcs.FSCD.2017.12

01-09-2017

Strategies with parallel causes
De Visme M Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 82

DOI 10.4230/LIPIcs.CSL.2017.41

01-08-2017

2015

The Parallel Intensionally Fully Abstract Games Model of PCF
Castellan S Clairambault P Winskel G
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science., 232-243.

DOI 10.1109/lics.2015.31

01-07-2015

On Probabilistic Distributed Strategies
Winskel G
Lecture Notes in Computer Science. vol. 9399, 69-88.

DOI 10.1007/978-3-319-25150-9_6

01-01-2015

2014

Strategies as Concurrent Processes
Castellan S Hayman J Lasson M Winskel G
Electronic Notes in Theoretical Computer Science. vol. 308, 87-107.

DOI 10.1016/j.entcs.2014.10.006

01-10-2014

On the determinacy of concurrent games on event structures with infinite winning sets
Gutierrez J Winskel G
Journal of Computer and System Sciences, Elsevier vol. 80 (6), 1119-1137.

DOI 10.1016/j.jcss.2014.04.005

01-09-2014

Symmetry in concurrent games
Castellan S Clairambault P Winskel G
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)., 1-10.

DOI 10.1145/2603088.2603141

14-07-2014

Preface
Löwe B Winskel G
Electronic Proceedings in Theoretical Computer Science Eptcs vol. 143

DOI 10.4204/EPTCS.143

29-03-2014

Probabilistic and Quantum Event Structures
Winskel G
Lecture Notes in Computer Science. vol. 8464, 476-497.

DOI 10.1007/978-3-319-06880-0_25

01-01-2014

2013

Distributed Probabilistic and Quantum Strategies
Winskel G
Electronic Notes in Theoretical Computer Science. vol. 298, 403-425.

DOI 10.1016/j.entcs.2013.09.024

01-11-2013

On Concurrent Games with Payoff
Clairambault P Winskel G
Electronic Notes in Theoretical Computer Science. vol. 298, 71-92.

DOI 10.1016/j.entcs.2013.09.008

01-11-2013

Constraining rule-based dynamics with types
DANOS V HARMER R WINSKEL G
Mathematical Structures in Computer Science. vol. 23 (2), 272-289.

DOI 10.1017/s0960129512000114

28-02-2013

Strategies as Profunctors
Winskel G
Lecture Notes in Computer Science. vol. 7794, 418-433.

DOI 10.1007/978-3-642-37075-5_27

01-01-2013

Borel Determinacy of Concurrent Games
Gutierrez J Winskel G
Lecture Notes in Computer Science. vol. 8052, 516-530.

DOI 10.1007/978-3-642-40184-8_36

01-01-2013

Imperfect Information in Logic and Concurrent Games
Clairambault P Gutierrez J Winskel G
Lecture Notes in Computer Science, Springer Nature vol. 7860, 7-20.

DOI 10.1007/978-3-642-38164-5_2

01-01-2013

2012

Graphs, rewriting and pathway reconstruction for rule-based models
Danos V Feret J Fontana W Harmer R Hayman J Krivine J Thompson-Walsh C Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 18, 276-288.

DOI 10.4230/LIPIcs.FSTTCS.2012.276

01-12-2012

Deterministic concurrent strategies
Winskel G
Formal Aspects of Computing, Association For Computing Machinery (Acm) vol. 24 (4-6), 647-660.

DOI 10.1007/s00165-012-0235-6

29-06-2012

Containment in Rule-Based Models
Thompson-Walsh CD Hayman J Winskel G
Electronic Notes in Theoretical Computer Science. vol. 284, 125-137.

DOI 10.1016/j.entcs.2012.05.019

01-06-2012

The Winning Ways of Concurrent Games
Clairambault P Gutierrez J Winskel G
2012 27th Annual IEEE Symposium on Logic in Computer Science. vol. 1, 235-244.

DOI 10.1109/lics.2012.34

01-06-2012

Bicategories of concurrent games (Invited Paper)
Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 7213 LNCS, 26-41.

DOI 10.1007/978-3-642-28729-9_2

03-04-2012

Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
Winskel G
Lecture Notes in Computer Science, Springer Nature vol. 7230, 298-317.

DOI 10.1007/978-3-642-29485-3_19

01-01-2012

Bicategories of Concurrent Games
Winskel G
In Foundations of Software Science and Computational Structures, Springer Nature 26-41.

DOI 10.1007/978-3-642-28729-9_2

01-01-2012

2011

Concurrent Strategies
Rideau S Winskel G
2011 IEEE 26th Annual Symposium on Logic in Computer Science., 409-418.

DOI 10.1109/lics.2011.13

01-06-2011

2010

On the expressivity of symmetry in event structures **Dedicated to the memory of Robin Milner
Staton S Winskel G
2010 25th Annual IEEE Symposium on Logic in Computer Science., 392-401.

DOI 10.1109/lics.2010.37

01-07-2010

2009

Prime algebraicity
Winskel G
Theoretical Computer Science, Elsevier vol. 410 (41), 4160-4168.

DOI 10.1016/j.tcs.2009.06.015

01-09-2009

Events, Causality and Symmetry
Winskel G
The Computer Journal, Oxford University Press (OUP) vol. 54 (1), 42-57.

DOI 10.1093/comjnl/bxp052

05-06-2009

Editors' note: bibliometrics and the curators of orthodoxy
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 19 (1), 1-4.

DOI 10.1017/s0960129508007391

01-02-2009

Nominal Domain Theory for Concurrency
Turner D Winskel G
Lecture Notes in Computer Science. vol. 5771, 546-560.

DOI 10.1007/978-3-642-04027-6_39

01-01-2009

2008

The unfolding of general Petri nets
Hayman J Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 2, 223-234.
01-12-2008

Independence and concurrent separation logic
Hayman J Winskel G
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 4, Issue 1

DOI 10.2168/lmcs-4(1:6)2008

19-03-2008

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Boudol G Castellani I Hennessy M Nielsen M Winskel G
Lecture Notes in Computer Science. vol. 5065, 757-777.

DOI 10.1007/978-3-540-68679-8_47

01-01-2008

2007

The cartesian closed bicategory of generalised species of structures
Fiore M Gambino N Hyland M Winskel G
Journal of The London Mathematical Society, Wiley vol. 77 (1), 203-220.

DOI 10.1112/jlms/jdm096

20-10-2007

Event Structure Spans for Nondeterministic Dataflow
Saunders-Evans L Winskel G
Electronic Notes in Theoretical Computer Science, Elsevier vol. 175 (3), 109-129.

DOI 10.1016/j.entcs.2006.10.055

01-06-2007

Event Structures with Symmetry
Winskel G
Electronic Notes in Theoretical Computer Science, Elsevier vol. 172, 611-652.

DOI 10.1016/j.entcs.2007.02.022

01-04-2007

Preface
Cardelli L Fiore M Winskel G
Electronic Notes in Theoretical Computer Science, Elsevier vol. 172, 1-4.

DOI 10.1016/j.entcs.2007.02.001

01-04-2007

Symmetry and Concurrency
Winskel G
Lecture Notes in Computer Science. vol. 4624, 40-64.

DOI 10.1007/978-3-540-73859-6_4

01-01-2007

2006

Probabilistic event structures and domains
Varacca D Völzer H Winskel G
Theoretical Computer Science, Elsevier vol. 358 (2-3), 173-199.

DOI 10.1016/j.tcs.2006.01.015

01-08-2006

Distributing probability over non-determinism
VARACCA D WINSKEL G
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 16 (1), 87-113.

DOI 10.1017/s0960129505005074

01-02-2006

Independence and Concurrent Separation Logic
Hayman J Winskel G
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)., 147-156.

DOI 10.1109/lics.2006.30

01-01-2006

2005

Name generation and linearity
Winskel G
Proceedings Symposium on Logic in Computer Science., 301-310.
25-10-2005

Relations in concurrency
Winskel G
Proceedings Symposium on Logic in Computer Science., 2-11.
25-10-2005

Profunctors, open maps and bisimulation
CATTANI GL WINSKEL G
Mathematical Structures in Computer Science. vol. 15 (3), 553-614.

DOI 10.1017/s0960129505004718

27-05-2005

Limit Preservation from Naturality
Caccamo M Winskel G
Electronic Notes in Theoretical Computer Science. vol. 122, 3-22.

DOI 10.1016/j.entcs.2004.06.048

01-03-2005

Petri Nets With Persistence
Crazzolara F Winskel G
Electronic Notes in Theoretical Computer Science. vol. 121, 143-155.

DOI 10.1016/j.entcs.2004.10.012

01-02-2005

2004

A relational model of non-deterministic dataflow
HILDEBRANDT TT PANANGADEN P WINSKEL G
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 14 (5), 613-649.

DOI 10.1017/s0960129504004293

23-09-2004

Domain theory for concurrency
Nygaard M Winskel G
Theoretical Computer Science. vol. 316 (1-3), 153-190.

DOI 10.1016/j.tcs.2004.01.029

01-05-2004

New-HOPLA a higher-order process language with name generation
Winskel G Nardelli FZ
IFIP Advances in Information and Communication Technology. vol. 155, 521-534.

DOI 10.1007/1-4020-8141-3_40

01-01-2004

Probabilistic Event Structures and Domains
Varacca D Völzer H Winskel G
Lecture Notes in Computer Science, Springer Nature vol. 3170, 481-496.

DOI 10.1007/978-3-540-28644-8_31

01-01-2004

2003

Presheaf models for CCS-like languages
Cattani GL Winskel G
Theoretical Computer Science, Elsevier vol. 300 (1-3), 47-89.

DOI 10.1016/s0304-3975(01)00209-2

01-05-2003

Full Abstraction for HOPLA
Nygaard M Winskel G
Lecture Notes in Computer Science, Springer Nature vol. 2761, 383-398.

DOI 10.1007/978-3-540-45187-7_25

01-01-2003

2002

GUEST EDITORIAL
Winskel G
Information and Computation. vol. 179 (2)

DOI 10.1006/inco.2002.2959

01-12-2002

Linearity in process languages
Nygaard M Winskel G
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science., 433-444.

DOI 10.1109/lics.2002.1029851

01-01-2002

HOPLA—A Higher-Order Process Language
Nygaard M Winskel G
Lecture Notes in Computer Science. vol. 2421, 434-448.

DOI 10.1007/3-540-45694-5_29

01-01-2002

Composing Strand Spaces
Crazzolara F Winskel G
Lecture Notes in Computer Science. vol. 2556, 97-108.

DOI 10.1007/3-540-36206-1_10

01-01-2002

2001

Events in security protocols
Crazzolara F Winskel G
Proceedings of the 8th ACM conference on Computer and Communications Security., 96-105.

DOI 10.1145/501983.501998

05-11-2001

A Higher-Order Calculus for Categories
Cáccamo M Winskel G
Lecture Notes in Computer Science. vol. 2152, 136-153.

DOI 10.1007/3-540-44755-5_11

01-01-2001

Petri nets in cryptographic protocols
Crazzolara F Winskel G
Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001., 1507-1515.

DOI 10.1109/ipdps.2001.925135

01-01-2001

2000

A representation result for free cocompletions
Power AJ Cattani GL Winskel G
Journal of Pure and Applied Algebra, Elsevier vol. 151 (3), 273-286.

DOI 10.1016/s0022-4049(99)00063-8

01-08-2000

1999

Event Structures as Presheaves—Two Representation Theorems
Winskel G
Lecture Notes in Computer Science. vol. 1664, 541-556.

DOI 10.1007/3-540-48320-9_37

01-01-1999

Weak bisimulation and open maps
Fiore M Cattani GL Winskel G
Proceedings Symposium on Logic in Computer Science, 67-76.
01-01-1999

1998

Foreword
Larsen KG Skyum S Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics vol. 1443 LNCS
01-12-1998

A Linear Metalanguage for Concurrency
Winskel G
Lecture Notes in Computer Science. vol. 1548, 42-58.

DOI 10.1007/3-540-49253-4_6

01-01-1998

A theory of recursive domains with applications to concurrency
Cattani GL Fiore M Winskel G
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)., 214-225.

DOI 10.1109/lics.1998.705658

01-01-1998

A categorical axiomatics for bisimulation
Cattani GL Power J Winskel G
Lecture Notes in Computer Science. vol. 1466, 581-596.

DOI 10.1007/bfb0055649

01-01-1998

A relational model of non-deterministic dataflow
Hildebrandt T Panangaden P Winskel G
Lecture Notes in Computer Science. vol. 1466, 613-628.

DOI 10.1007/bfb0055651

01-01-1998

An Operational Understanding of Bisimulation from Open Maps
Winskel G
Electronic Notes in Theoretical Computer Science. vol. 10

DOI 10.1016/s1571-0661(05)80687-5

01-01-1998

1997

Completeness results for linear logic on Petri nets
Engberg U Winskel G
Annals of Pure and Applied Logic, Elsevier vol. 86 (2), 101-135.

DOI 10.1016/s0168-0072(96)00024-3

01-06-1997

Presheaf models for concurrency
Cattani GL Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 1258, 59-75.

DOI 10.1007/3-540-63172-0_32

01-01-1997

Presheaf models for concurrency
Cattani GL Winskel G
In Computer Science Logic, Springer Nature 58-75.

DOI 10.1007/3-540-63172-0_32

01-01-1997

Presheaf models for the π-calculus
Cattani GL Stark I Winskel G
Lecture Notes in Computer Science. vol. 1290, 106-126.

DOI 10.1007/bfb0026984

01-01-1997

1996

Models for concurrency: Towards a classification
Sassone V Nielsen M Winskel G
Theoretical Computer Science vol. 170 (1-2), 297-348.

DOI 10.1016/S0304-3975(96)00011-4

01-12-1996

Models for concurrency: towards a classification
Sassone V Nielsen M Winskel G
Theoretical Computer Science, Elsevier vol. 170 (1-2), 297-348.

DOI 10.1016/s0304-3975(96)80710-9

01-12-1996

Bisimulation from Open Maps
Joyal A Nielsen M Winskel G
Information and Computation, Elsevier vol. 127 (2), 164-185.

DOI 10.1006/inco.1996.0057

01-06-1996

A presheaf semantics of value-passing processes (Extended abstract)
Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 1119, 98-114.

DOI 10.1007/3-540-61604-7_50

01-01-1996

A presheaf semantics of value-passing processes
Winskel G
In Concur '96: Concurrency Theory, Springer Nature 98-114.

DOI 10.1007/3-540-61604-7_50

01-01-1996

Petri nets and bisimulation
Nielsen M Winskel G
Theoretical Computer Science, Elsevier vol. 153 (1-2), 211-244.

DOI 10.1016/0304-3975(95)00122-0

01-01-1996

1995

CCS with Priority Choice
Camilleri J Winskel G
Information and Computation, Elsevier vol. 116 (1), 26-37.

DOI 10.1006/inco.1995.1003

01-01-1995

1994

Stable bistructure models of PCF
Winskel G
Lecture Notes in Computer Science. vol. 841, 177-197.

DOI 10.1007/3-540-58338-6_66

01-01-1994

Linear logic on Petri nets
Engberg U Winskel G
Lecture Notes in Computer Science. vol. 803, 176-229.

DOI 10.1007/3-540-58043-3_20

01-01-1994

Bistructures, bidomains and linear logic
Plotkin G Winskel G
Lecture Notes in Computer Science. vol. 820, 352-363.

DOI 10.1007/3-540-58201-0_81

01-01-1994

Compositional proof system for the modal μ-calculus
Andersen HR Stirling C Winskel G
Proceedings Symposium on Logic in Computer Science., 144-153.
01-01-1994

Relationships between models of concurrency
Nielsen M Sassone V Winskel G
Lecture Notes in Computer Science. vol. 803, 425-476.

DOI 10.1007/3-540-58043-3_25

01-01-1994

1993

Completeness results for linear logic on Petri nets
Engberg U Winskel G
Lecture Notes in Computer Science. vol. 711, 442-452.

DOI 10.1007/3-540-57182-5_36

01-01-1993

A classification of models for concurrency
Sassone V Nielsen M Winskel G
Lecture Notes in Computer Science. vol. 715, 82-96.

DOI 10.1007/3-540-57208-2_7

01-01-1993

Bisimulation and open maps
Joyal A Nielsen M Winskel G
Proceedings Symposium on Logic in Computer Science., 418-427.
01-01-1993

Deterministic behavioural models for concurrency
Sassone V Nielsen M Winskel G
Lecture Notes in Computer Science. vol. 711, 682-692.

DOI 10.1007/3-540-57182-5_59

01-01-1993

1992

Compositional checking of satisfaction
Andersen HR Winskel G
Formal Methods in System Design, Springer Nature vol. 1 (4), 323-354.

DOI 10.1007/bf00709155

01-12-1992

Compositional checking of satisfaction
Andersen HR Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 575 LNCS, 25-36.

DOI 10.1007/3-540-55179-4_4

01-01-1992

Compositional checking of satisfaction
Andersen HR Winskel G
In Computer Aided Verification, Springer Nature 24-36.

DOI 10.1007/3-540-55179-4_4

01-01-1992

1991

CCS with priority choice
Camilleri J Winskel G
Proceedings Symposium on Logic in Computer Science., 246-255.
01-07-1991

A note on model checking the modal ν-calculus
Winskel G
Theoretical Computer Science, Elsevier vol. 83 (1), 157-167.

DOI 10.1016/0304-3975(91)90043-2

01-06-1991

Using information systems to solve recursive domain equations
Larsen KG Winskel G
Information and Computation, Elsevier vol. 91 (2), 232-258.

DOI 10.1016/0890-5401(91)90068-d

01-04-1991

Petri nets and transition systems
Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 560 LNCS
01-01-1991

1990

A compositional proof system on a category of labelled transition systems
Winskel G
Information and Computation, Elsevier vol. 87 (1-2), 2-57.

DOI 10.1016/0890-5401(90)90058-p

01-07-1990

On the compositional checking of validity: (extended abstract)
Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 458 LNCS, 481-501.

DOI 10.1007/BFb0039079

01-01-1990

On the compositional checking of validity
Winskel G
In Concur '90 Theories of Concurrency: Unification and Extension, Springer Nature 481-501.

DOI 10.1007/bfb0039079

01-01-1990

Petri nets as models of linear logic
Engberg U Winskel G
Lecture Notes in Computer Science. vol. 431, 147-161.

DOI 10.1007/3-540-52590-4_46

01-01-1990

1989

Domain theoretic models of polymorphism
Coquand T Gunter C Winskel G
Information and Computation, Elsevier vol. 81 (2), 123-167.

DOI 10.1016/0890-5401(89)90068-0

01-05-1989

An introduction to event structures
Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 354 LNCS, 364-397.

DOI 10.1007/BFb0013026

01-01-1989

An introduction to event structures
Winskel G
In Linear Time, Branching Time and Partial Order in Logics and Models For Concurrency, Springer Nature 364-397.

DOI 10.1007/bfb0013026

01-01-1989

A note on model checking the modal v-calculus
Winskel G
Lecture Notes in Computer Science. vol. 372, 761-772.

DOI 10.1007/bfb0035797

01-01-1989

1988

Category of labelled petri nets and compositional proof system.
Winskel G
undefined., 142-154.
01-12-1988

dI-domains as a model of polymorphism
Coquand T Gunter C Winskel G
Lecture Notes in Computer Science. vol. 298, 344-363.

DOI 10.1007/3-540-19020-1_18

01-01-1988

1987

Petri nets, algebras, morphisms, and compositionality
Winskel G
Information and Computation, Elsevier vol. 72 (3), 197-238.

DOI 10.1016/0890-5401(87)90032-0

01-03-1987

Event structures
Winskel G
Lecture Notes in Computer Science. vol. 255, 325-392.

DOI 10.1007/3-540-17906-2_31

01-01-1987

Relating two models of hardware
Winskel G
Lecture Notes in Computer Science. vol. 283, 98-113.

DOI 10.1007/3-540-18508-9_22

01-01-1987

1986

Category theory and models for parallel computation
Winskel G
Lecture Notes in Computer Science. vol. 240, 266-281.

DOI 10.1007/3-540-17162-2_128

01-01-1986

1985

A complete proof system for SCCS with modal assertions: Extended abstract
Winskel G
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 206 LNCS, 392-410.

DOI 10.1007/3-540-16042-6_22

01-01-1985

On the composition and decomposition of assertions
Winskel G
Lecture Notes in Computer Science. vol. 197, 62-75.

DOI 10.1007/3-540-15670-4_3

01-01-1985

On powerdomains and modality
Winskel G
Theoretical Computer Science, Elsevier vol. 36, 127-137.

DOI 10.1016/0304-3975(85)90037-4

01-01-1985

A complete proof system for SCCS with modal assertions
Winskel G
In Foundations of Software Technology and Theoretical Computer Science, Springer Nature 392-410.

DOI 10.1007/3-540-16042-6_22

01-01-1985

Categories of models for concurrency
Winskel G
Lecture Notes in Computer Science. vol. 197, 246-267.

DOI 10.1007/3-540-15670-4_12

01-01-1985

1984

A new definition of morphism on Petri nets
Winskel G
Lecture Notes in Computer Science. vol. 166, 140-150.

DOI 10.1007/3-540-12920-0_13

01-01-1984

Synchronization trees
Winskel G
Theoretical Computer Science, Elsevier vol. 34 (1-2), 33-82.

DOI 10.1016/0304-3975(84)90112-9

01-01-1984

Using information systems to solve reoursive domain equations effectively
Larsen KG Winskel G
Lecture Notes in Computer Science. vol. 173, 109-129.

DOI 10.1007/3-540-13346-1_5

01-01-1984

1983

Synchronisation trees
Winskel G
Lecture Notes in Computer Science. vol. 154, 695-711.

DOI 10.1007/bfb0036949

01-01-1983

A note on powerdomains and modality
Winskel G
Lecture Notes in Computer Science. vol. 158, 505-514.

DOI 10.1007/3-540-12689-9_131

01-01-1983

1982

Event structure semantics for CCS and related languages
Winskel G
Lecture Notes in Computer Science. vol. 140, 561-576.

DOI 10.1007/bfb0012800

01-01-1982

1981

Petri nets, event structures and domains, part I
Nielsen M Plotkin G Winskel G
Theoretical Computer Science, Elsevier vol. 13 (1), 85-108.

DOI 10.1016/0304-3975(81)90112-2

01-01-1981

1979

Petri nets, event structures and domains
Nielsen M Plotkin G Winskel G
Lecture Notes in Computer Science. vol. 70, 266-284.

DOI 10.1007/bfb0022474

01-01-1979

Professor Glynn Winskel

Publications

2025

2024

2023

2022

2019

2018

2017

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1985

1984

1983

1982

1981

1979

News

June 2026

Glynn Winskel: Concurrent Strategies as Street Fibrations