| The formal semantics of programming languages: an introduction G Winskel MIT press, 1993 | 2073 | 1993 |
| Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981 | 1481 | 1981 |
| Models for concurrency G Winskel, M Nielsen DAIMI Report Series, 1993 | 1029* | 1993 |
| Event structures G Winskel Petri Nets: Applications and Relationships to Other Models of Concurrency …, 2005 | 1015 | 2005 |
| An introduction to event structures G Winskel DAIMI Report Series, 1989 | 515 | 1989 |
| Bisimulation from open maps A Joyal, M Nielsen, G Winskel Information and Computation 127 (2), 164-185, 1996 | 488 | 1996 |
| Event structure semantics for CCS and related languages G Winskel Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982 | 402 | 1982 |
| Events in computation G Winskel University of Edinburgh, 1980 | 353 | 1980 |
| Petri nets, algebras, morphisms, and compositionality G Winskel Information and Computation 72 (3), 197-238, 1987 | 286 | 1987 |
| Synchronization trees G Winskel Theoretical Computer Science 34 (1-2), 33-82, 1984 | 200 | 1984 |
| A note on model checking the modal v-calculus G Winskel Automata, Languages and Programming: 16th International Colloquium Stresa …, 1989 | 176 | 1989 |
| Models for concurrency: Towards a classification V Sassone, M Nielsen, G Winskel Theoretical Computer Science 170 (1-2), 297-348, 1996 | 166 | 1996 |
| Distributing probability over non-determinism D Varacca, G Winskel Mathematical structures in computer science 16 (1), 87-113, 2006 | 154 | 2006 |
| Using information systems to solve recursive domain equations effectively G Winskel, KG Larsen University of Cambridge, Computer Laboratory, 1984 | 147 | 1984 |
| 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 | 120 | 1989 |
| 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 |
| Concurrent strategies S Rideau, G Winskel 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 409-418, 2011 | 115 | 2011 |
| 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 | 110 | 2008 |
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
