Glynn Winskel
Glynn Winskel
Verifierad e-postadress på cl.cam.ac.uk
TitelCiteras avÅr
Types and programming languages
BC Pierce, C Benjamin
MIT press, 2002
31062002
The formal semantics of programming languages: an introduction
G Winskel
MIT press, 1993
17631993
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
11901981
Models for Concurrency.
M Nielsen, G Winskel
MFCS, 43-46, 1991
969*1991
Event structures
G Winskel
Advanced Course on Petri Nets, 325-392, 1986
8931986
An introduction to event structures
G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1988
4721988
Bisimulation and open maps
A Joyal, M Nielson, G Winskel
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993
4281993
Event structure semantics for CCS and related languages
G Winskel
International Colloquium on Automata, Languages, and Programming, 561-576, 1982
3461982
Events in computation
G Winskel
The University of Edinburgh, 1980
3201980
Petri nets, algebras, morphisms, and compositionality
G Winskel
Information and Computation 72 (3), 197-238, 1987
2681987
Synchronization trees
G Winskel
Theoretical Computer Science 34 (1-2), 33-82, 1984
1831984
Models for concurrency: Towards a classification
V Sassone, M Nielsen, G Winskel
Theoretical Computer Science 170 (1-2), 297-348, 1996
1451996
Petri nets, event structures and domains
M Nielsen, G Plotkin, G Winskel
Semantics of Concurrent Computation, 266-284, 1979
1381979
Using information systems to solve reoursive domain equations effectively
KG Larsen, G Winskel
International Symposium on Semantics of Data Types, 109-129, 1984
1351984
Events in security protocols
F Crazzolara, G Winskel
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
1282001
Relationships between models of concurrency
M Nielsen, V Sassone, G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1201993
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
1091994
Distributing probability over non-determinism
D Varacca, G Winskel
Mathematical Structures in Computer Science 16 (1), 87-113, 2006
1082006
Petri nets as models of linear logic
U Engberg, G Winskel
Colloquium on Trees in Algebra and Programming, 147-161, 1990
1061990
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20