Professor Glynn Winskel

Publications

Publications of specific relevance to the Centre for Fundamentals of AI and Computational Theory

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

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

News