| The formal semantics of programming languages: an introduction G Winskel MIT press, 1993 | 2220 | 1993 |
| Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981 | 1533 | 1981 |
| Models for concurrency G Winskel, M Nielsen | 1078* | 1993 |
| Event structures G Winskel Advanced course on Petri nets, 325-392, 1986 | 1055 | 1986 |
| An introduction to event structures G Winskel Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989 | 534 | 1989 |
| Bisimulation from open maps A Joyal, M Nielsen, G Winskel Information and Computation 127 (2), 164-185, 1996 | 506 | 1996 |
| Event structure semantics for CCS and related languages G Winskel Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982 | 415 | 1982 |
| Events in computation G Winskel The University of Edinburgh, 1980 | 356 | 1980 |
| Petri nets, algebras, morphisms, and compositionality G Winskel Information and Computation 72 (3), 197-238, 1987 | 292 | 1987 |
| Synchronization trees G Winskel Theoretical Computer Science 34 (1-2), 33-82, 1984 | 205 | 1984 |
| Distributing probability over non-determinism D Varacca, G Winskel Mathematical structures in computer science 16 (1), 87-113, 2006 | 179 | 2006 |
| Models for concurrency: Towards a classification V Sassone, M Nielsen, G Winskel Theoretical Computer Science 170 (1-2), 297-348, 1996 | 174 | 1996 |
| A note on model checking the modal v-calculus G Winskel International Colloquium on Automata, Languages, and Programming, 761-772, 1989 | 171 | 1989 |
| Using information systems to solve reoursive domain equations effectively KG Larsen, G Winskel International Symposium on Semantics of Data Types, 109-129, 1984 | 152 | 1984 |
| 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 | 136 | 2008 |
| Events in security protocols F Crazzolara, G Winskel Proceedings of the 8th ACM conference on Computer and Communications …, 2001 | 134 | 2001 |
| Domain theoretic models of polymorphism T Coquand, C Gunter, G Winskel Information and Computation 81 (2), 123-167, 1989 | 123 | 1989 |
| Concurrent strategies S Rideau, G Winskel 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 409-418, 2011 | 122 | 2011 |
| 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 | 116 | 1994 |
| Petri nets as models of linear logic U Engberg, G Winskel CAAP'90: 15th Colloquium on Trees in Algebra and Programming Copenhagen …, 1990 | 116 | 1990 |
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
