Glynn Winskel
Glynn Winskel
Verified email at cl.cam.ac.uk
Title
Cited by
Cited by
Year
Types and programming languages
BC Pierce, C Benjamin
MIT press, 2002
32262002
The formal semantics of programming languages: an introduction
G Winskel
MIT press, 1993
18121993
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
12191981
Models for Concurrency.
M Nielsen, G Winskel
MFCS, 43-46, 1991
985*1991
Event structures
G Winskel
Advanced Course on Petri Nets, 325-392, 1986
9201986
An introduction to event structures
G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1988
4741988
Bisimulation from open maps
A Joyal, M Nielsen, G Winskel
Information and Computation 127 (2), 164-185, 1996
4421996
Event structure semantics for CCS and related languages
G Winskel
International Colloquium on Automata, Languages, and Programming, 561-576, 1982
3561982
Events in computation
G Winskel
University of Edinburgh, 1980
3221980
Petri nets, algebras, morphisms, and compositionality
G Winskel
Information and Computation 72 (3), 197-238, 1987
2721987
Synchronization trees
G Winskel
Theoretical Computer Science 34 (1-2), 33-82, 1984
1891984
Models for concurrency: Towards a classification
V Sassone, M Nielsen, G Winskel
Theoretical Computer Science 170 (1-2), 297-348, 1996
1541996
Petri nets, event structures and domains
M Nielsen, G Plotkin, G Winskel
Semantics of Concurrent Computation, 266-284, 1979
1461979
Relationships between models of concurrency
M Nielsen, V Sassone, G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1381993
Using information systems to solve reoursive domain equations effectively
KG Larsen, G Winskel
International Symposium on Semantics of Data Types, 109-129, 1984
1361984
Events in security protocols
F Crazzolara, G Winskel
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
1302001
Distributing probability over non-determinism
D Varacca, G Winskel
Mathematical Structures in Computer Science 16 (1), 87-113, 2006
1202006
Domain theoretic models of polymorphism
T Coquand, C Gunter, G Winskel
Information and Computation 81 (2), 123-167, 1989
1201989
A compositional proof system for the modal/spl mu/-calculus
HR Andersen, C Stirling, G Winskel
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 144-153, 1994
1091994
Petri nets as models of linear logic
U Engberg, G Winskel
Colloquium on Trees in Algebra and Programming, 147-161, 1990
1071990
The system can't perform the operation now. Try again later.
Articles 1–20