Glynn Winskel
Glynn Winskel
Verifierad e-postadress på cl.cam.ac.uk
Titel
Citeras av
Citeras av
År
Types and programming languages
BC Pierce, C Benjamin
MIT press, 2002
32072002
The formal semantics of programming languages: an introduction
G Winskel
MIT press, 1993
18031993
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
12171981
Models for Concurrency.
M Nielsen, G Winskel
MFCS, 43-46, 1991
981*1991
Event structures
G Winskel
Advanced Course on Petri Nets, 325-392, 1986
9171986
An introduction to event structures
G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1988
4721988
Bisimulation from open maps
A Joyal, M Nielsen, G Winskel
Information and Computation 127 (2), 164-185, 1996
4401996
Event structure semantics for CCS and related languages
G Winskel
International Colloquium on Automata, Languages, and Programming, 561-576, 1982
3561982
Events in computation
G Winskel
University of Edinburgh, 1980
3221980
Petri nets, algebras, morphisms, and compositionality
G Winskel
Information and Computation 72 (3), 197-238, 1987
2721987
Synchronization trees
G Winskel
Theoretical Computer Science 34 (1-2), 33-82, 1984
1881984
Models for concurrency: Towards a classification
V Sassone, M Nielsen, G Winskel
Theoretical Computer Science 170 (1-2), 297-348, 1996
1541996
Petri nets, event structures and domains
M Nielsen, G Plotkin, G Winskel
Semantics of Concurrent Computation, 266-284, 1979
1451979
Relationships between models of concurrency
M Nielsen, V Sassone, G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1361993
Using information systems to solve reoursive domain equations effectively
KG Larsen, G Winskel
International Symposium on Semantics of Data Types, 109-129, 1984
1361984
Events in security protocols
F Crazzolara, G Winskel
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
1302001
Domain theoretic models of polymorphism
T Coquand, C Gunter, G Winskel
Information and Computation 81 (2), 123-167, 1989
1201989
Distributing probability over non-determinism
D Varacca, G Winskel
Mathematical Structures in Computer Science 16 (1), 87-113, 2006
1182006
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
Petri nets as models of linear logic
U Engberg, G Winskel
Colloquium on Trees in Algebra and Programming, 147-161, 1990
1071990
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20