Follow
Glynn Winskel
Glynn Winskel
Verified email at cl.cam.ac.uk
Title
Cited by
Cited by
Year
The formal semantics of programming languages: an introduction
G Winskel
MIT press, 1993
20481993
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
14601981
Models for concurrency
G Winskel, M Nielsen
DAIMI Report Series, 1993
1025*1993
Event structures
G Winskel
Petri Nets: Applications and Relationships to Other Models of Concurrency …, 2005
10072005
An introduction to event structures
G Winskel
DAIMI Report Series, 1989
5101989
Bisimulation from open maps
A Joyal, M Nielsen, G Winskel
Information and Computation 127 (2), 164-185, 1996
4791996
Event structure semantics for CCS and related languages
G Winskel
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982
4001982
Events in computation
G Winskel
University of Edinburgh, 1980
3521980
Petri nets, algebras, morphisms, and compositionality
G Winskel
Information and Computation 72 (3), 197-238, 1987
2841987
Synchronization trees
G Winskel
Theoretical Computer Science 34 (1-2), 33-82, 1984
2001984
A note on model checking the modal v-calculus
G Winskel
Automata, Languages and Programming: 16th International Colloquium Stresa …, 1989
1761989
Models for concurrency: Towards a classification
V Sassone, M Nielsen, G Winskel
Theoretical Computer Science 170 (1-2), 297-348, 1996
1661996
Distributing probability over non-determinism
D Varacca, G Winskel
Mathematical structures in computer science 16 (1), 87-113, 2006
1512006
Using information systems to solve recursive domain equations effectively
G Winskel, KG Larsen
University of Cambridge, Computer Laboratory, 1984
1471984
Events in security protocols
F Crazzolara, G Winskel
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
1342001
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
1161994
Petri nets as models of linear logic
U Engberg, G Winskel
CAAP'90: 15th Colloquium on Trees in Algebra and Programming Copenhagen …, 1990
1161990
Concurrent strategies
S Rideau, G Winskel
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 409-418, 2011
1142011
The cartesian closed bicategory of generalised species of structures
M Fiore, N Gambino, M Hyland, G Winskel
Journal of the London Mathematical Society 77 (1), 203-220, 2008
1052008
The system can't perform the operation now. Try again later.
Articles 1–20