G. Winskel
发表
G. Winskel,
1993
.
G. Winskel,
2007
.
Glynn Winskel,
Thierry Coquand,
Carl A. Gunter,
1989,
Inf. Comput..
G. Winskel,
C. Stirling,
H. Andersen,
1994
.
Glynn Winskel,
G. Winskel,
1989
.
Glynn Winskel,
Mario Cáccamo,
G. Winskel,
2001,
TPHOLs.
G. Winskel,
M. Cáccamo,
2001
.
Gian Luca Cattani,
G. Winskel,
J. Power,
1998
.
Glynn Winskel,
Uffe Engberg,
G. Winskel,
1990,
CAAP.
G. Winskel,
2013
.
Glynn Winskel,
Mogens Nielsen,
G. Winskel,
1992
.
G. Winskel,
M. Fiore,
2000
.
Glynn Winskel,
G. Winskel,
1991,
Theor. Comput. Sci..
G. Winskel,
Jonathan Hayman,
2011
.
G. Winskel,
2010
.
G. Winskel,
2022
.
G. Winskel,
2022
.
G. Winskel,
2007
.
Glynn Winskel,
Andrew William Roscoe,
A. W. Roscoe,
1984,
Lecture Notes in Computer Science.
Glynn Winskel,
G. Winskel,
1993
.
Glynn Winskel,
G. Winskel,
1985,
CTCS.
Glynn Winskel,
G. Winskel,
1984,
Theor. Comput. Sci..
Glynn Winskel,
Sven Skyum,
Kim Guldstrand Larsen,
1998
.
Glynn Winskel,
G. Winskel,
1984,
Seminar on Concurrency.
Glynn Winskel,
Henrik Reif Andersen,
G. Winskel,
1991,
Formal Methods Syst. Des..
Glynn Winskel,
G. Winskel,
1993
.
Glynn Winskel,
Andrew William Roscoe,
A. W. Roscoe,
1984
.
Glynn Winskel,
G. Winskel,
1987,
Category Theory and Computer Science.
Glynn Winskel,
John Power,
Gian Luca Cattani,
1998,
CONCUR.
Glynn Winskel,
G. Winskel,
1985,
FSTTCS.
Glynn Winskel,
G. Winskel,
1986
.
Glynn Winskel,
G. Winskel,
1986
.
Glynn Winskel,
Sven Skyum,
Kim Guldstrand Larsen,
1998
.
Glynn Winskel,
G. Winskel,
1993
.
Glynn Winskel,
G. Winskel,
1984,
Seminar on Concurrency.
Glynn Winskel,
G. Winskel,
2002,
FICS.
Glynn Winskel,
Mogens Nielsen,
G. Winskel,
1997,
Partial Order Methods in Verification.
Glynn Winskel,
G. Winskel,
1983,
ICALP.
Glynn Winskel,
Manfred Droste,
Ernst-Rüdiger Olderog,
2021
.
Glynn Winskel,
G. Winskel,
1993
.
Glynn Winskel,
Mikkel Nygaard,
G. Winskel,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
G. Winskel,
2022,
ArXiv.
Glynn Winskel,
G. Winskel,
1983
.
Glynn Winskel,
Benedikt Löwe,
G. Winskel,
2014
.
Glynn Winskel,
Mogens Nielsen,
G. Winskel,
1995,
The Book of Traces.
Glynn Winskel,
G. Winskel,
2002,
Inf. Comput..
Glynn Winskel,
G. Winskel,
1993
.
Glynn Winskel,
Daniele Varacca,
Hagen Völzer,
2004,
Theor. Comput. Sci..
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
1996,
CSL.
G. Winskel,
J. Power,
BisimulationGian Luca Cattani,
1998
.
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
1999,
Theor. Comput. Sci..
Glynn Winskel,
G. Winskel,
2005
.
Glynn Winskel,
G. Winskel,
1988,
REX Workshop.
Glynn Winskel,
Mogens Nielsen,
Gordon Plotkin,
1981,
Theor. Comput. Sci..
Glynn Winskel,
G. Winskel,
1982,
ICALP.
Glynn Winskel,
Daniele Varacca,
Hagen Völzer,
2004,
Theor. Comput. Sci..
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
1996,
CSL.
Glynn Winskel,
Juanito Camilleri,
G. Winskel,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel,
Mogens Nielsen,
André Joyal,
1994,
Inf. Comput..
Glynn Winskel,
Kim G. Larsen,
K. Larsen,
1991,
Inf. Comput..
Glynn Winskel,
Martin Hyland,
Nicola Gambino,
2016,
1612.03678.
Glynn Winskel,
G. Winskel,
1993,
Foundation of computing series.
Glynn Winskel,
Colin Stirling,
Henrik Reif Andersen,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel,
Henrik Reif Andersen,
G. Winskel,
1991,
Formal Methods Syst. Des..
Glynn Winskel,
G. Winskel,
1990,
CONCUR.
Glynn Winskel,
Mogens Nielsen,
Gordon D. Plotkin,
1979,
Semantics of Concurrent Computation.
Glynn Winskel,
Mogens Nielsen,
G. Winskel,
1997
.
Glynn Winskel,
G. Winskel,
1986,
Advances in Petri Nets.
Glynn Winskel,
Marcelo P. Fiore,
Gian Luca Cattani,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Glynn Winskel,
Vladimiro Sassone,
Mogens Nielsen,
1996,
Theor. Comput. Sci..
Glynn Winskel,
G. Winskel,
1989,
Inf. Comput..
Glynn Winskel,
G. Winskel,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Glynn Winskel,
G. Winskel,
1987,
Inf. Comput..
Glynn Winskel,
G. Winskel,
1985,
Applications and Theory in Petri Nets.
Glynn Winskel,
G. Winskel,
1984,
STACS.
Glynn Winskel,
G. Winskel,
1980
.
Glynn Winskel,
Jonathan Hayman,
G. Winskel,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Glynn Winskel,
Mikkel Nygaard,
G. Winskel,
2003,
Theor. Comput. Sci..
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Glynn Winskel,
Matthew Hennessy,
Ilaria Castellani,
2008,
Concurrency, Graphs and Models.
Glynn Winskel,
Marc de Visme,
Pierre Clairambault,
2019,
Proc. ACM Program. Lang..
Glynn Winskel,
Vladimiro Sassone,
Mogens Nielsen,
1993,
CONCUR.
Glynn Winskel,
G. Winskel,
2009
.
Glynn Winskel,
G. Winskel,
1985,
Theor. Comput. Sci..
Glynn Winskel,
Daniele Varacca,
G. Winskel,
2006,
Mathematical Structures in Computer Science.
Glynn Winskel,
Mogens Nielsen,
André Joyal,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel,
G. Winskel,
2008,
Comput. J..
Glynn Winskel,
Vladimiro Sassone,
Mogens Nielsen,
1993,
MFCS.
Glynn Winskel,
Vladimiro Sassone,
Mogens Nielsen,
1993,
REX School/Symposium.
Glynn Winskel,
G. Winskel,
2009
.
Glynn Winskel,
Mogens Nielsen,
G. Winskel,
2007
.
Glynn Winskel,
Olivier Danvy,
Peter Ørbæk,
1999
.
Glynn Winskel,
G. Winskel,
1999,
CONCUR.
Glynn Winskel,
Kim G. Larsen,
K. Larsen,
1984,
Semantics of Data Types.
Glynn Winskel,
G. Winskel,
2007,
CALCO.
Glynn Winskel,
G. Winskel,
2007,
Computation, Meaning, and Logic.
Glynn Winskel,
Federico Crazzolara,
G. Winskel,
2001,
CCS '01.
Glynn Winskel,
Mogens Nielsen,
G. Winskel,
1996,
Theor. Comput. Sci..
Glynn Winskel,
Jonathan Hayman,
G. Winskel,
2008,
FSTTCS.
Glynn Winskel,
G. Winskel,
1987
.
G. Winskel,
M. Nielsen,
1997
.
Glynn Winskel,
Mikkel Nygaard,
G. Winskel,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel,
G. Winskel,
1998,
AMAST.
Glynn Winskel,
G. Winskel,
2004
.
Glynn Winskel,
Marcelo P. Fiore,
Gian Luca Cattani,
1997,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Glynn Winskel,
Gian Luca Cattani,
Ian Stark,
1997,
Category Theory and Computer Science.
Glynn Winskel,
G. Winskel,
1996,
CONCUR.
G. Winskel,
Samson,
Yoav,
2022
.
Glynn Winskel,
Federico Crazzolara,
G. Winskel,
2005,
WISP@ICATPN.
Glynn Winskel,
Uffe Engberg,
G. Winskel,
1993,
REX School/Symposium.
Glynn Winskel,
Uffe Engberg,
G. Winskel,
1993,
Ann. Pure Appl. Log..
G. Winskel,
2009
.
Glynn Winskel,
Mogens Nielsen,
G. Winskel,
1994
.
G. Winskel,
1982,
ICALP.
Glynn Winskel,
G. Winskel,
1988
.
Glynn Winskel,
G. Winskel,
1983,
FCT.
Glynn Winskel,
G. Winskel,
1991,
Theor. Comput. Sci..
Glynn Winskel,
Andrew William Roscoe,
A. W. Roscoe,
1985
.
Glynn Winskel,
Mikkel Nygaard,
G. Winskel,
2002,
CONCUR.
Marc de Visme,
G. Winskel,
2020,
Log. Methods Comput. Sci..
Glynn Winskel,
Marc de Visme,
G. Winskel,
2016,
CSL.
Glynn Winskel,
Gian Luca Cattani,
G. Winskel,
2004,
Mathematical Structures in Computer Science.
Glynn Winskel,
Marc de Visme,
G. Winskel,
2019,
CALCO.
Glynn Winskel,
G. Winskel,
2016,
ArXiv.
Glynn Winskel,
G. Winskel,
2013,
MFPS.
Glynn Winskel,
G. Winskel,
2014,
Horizons of the Mind.
Christopher D. Thompson-Walsh,
Glynn Winskel,
Vincent Danos,
2012
.
Glynn Winskel,
Thierry Coquand,
Carl A. Gunter,
1987,
MFPS.
Glynn Winskel,
Martin Hyland,
Nicola Gambino,
2008
.
Mogens Nielsen,
G. Winskel,
M. Nielsen,
1992
.