Concepedia

Glynn Winskel

GW

Statistics

Publications

79

Citations

4.6K

H-Index

33

Active since

1981

Affiliations

University of Cambridge(Current)

Aarhus University

Danish National Research Foundation

Bridge University

Laboratoire de l'Informatique du Parallélisme

Glynn Winskel is an author at University of Cambridge specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1981–2019

79

Publications

79

Petri nets, event structures and domains, part I

Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 915 citations

, , +9

Event structures

Glynn Winskel · 1987 · 392 citations

Bisimulation from Open Maps

André Joyal, Mogens Nielsen, Glynn Winskel · Information and Computation · 1996 · 269 citations

, , +12

Petri nets, algebras, morphisms, and compositionality

Glynn Winskel · Information and Computation · 1987 · 188 citations

, , +11

Distributing probability over non-determinism

Daniele Varacca, Glynn Winskel · Mathematical Structures in Computer Science · 2006 · 129 citations

, , +14

1–5 of 79