Folgen
Glynn Winskel
Glynn Winskel
Bestätigte E-Mail-Adresse bei cl.cam.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
The formal semantics of programming languages: an introduction
G Winskel
MIT press, 1993
21571993
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
15021981
Models for concurrency
G Winskel, M Nielsen
1063*1993
Event structures
G Winskel
advanced course on Petri nets, 325-392, 1986
10341986
An introduction to event structures
G Winskel
Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989
5271989
Bisimulation from open maps
A Joyal, M Nielsen, G Winskel
Information and Computation 127 (2), 164-185, 1996
4971996
Event structure semantics for CCS and related languages
G Winskel
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982
4031982
Events in computation
G Winskel
KB thesis scanning project 2015, 1980
3531980
Petri nets, algebras, morphisms, and compositionality
G Winskel
Information and Computation 72 (3), 197-238, 1987
2881987
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
International Colloquium on Automata, Languages, and Programming, 761-772, 1989
1731989
Models for concurrency: Towards a classification
V Sassone, M Nielsen, G Winskel
Theoretical Computer Science 170 (1-2), 297-348, 1996
1701996
Distributing probability over non-determinism
D Varacca, G Winskel
Mathematical structures in computer science 16 (1), 87-113, 2006
1532006
Using information systems to solve reoursive domain equations effectively
KG Larsen, G Winskel
International Symposium on Semantics of Data Types, 109-129, 1984
1501984
Events in security protocols
F Crazzolara, G Winskel
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
1322001
Domain theoretic models of polymorphism
T Coquand, C Gunter, G Winskel
Information and Computation 81 (2), 123-167, 1989
1201989
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
1162008
Petri nets as models of linear logic
U Engberg, G Winskel
CAAP'90: 15th Colloquium on Trees in Algebra and Programming Copenhagen …, 1990
1151990
Concurrent strategies
S Rideau, G Winskel
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 409-418, 2011
1132011
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
1131994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20