T. Winkler
发表
R. Milner,
M. Gordon,
J. Goguen,
1994
.
J. Thatcher,
H. Kirchner,
J. Meseguer,
1993
.
José Meseguer,
Claude Kirchner,
Hélène Kirchner,
1988,
CTRS.
Joseph Y. Halpern,
John H. Williams,
Edward L. Wimmers,
1985,
POPL.
Timothy C. Winkler,
T. Winkler,
1993,
Functional Programming, Concurrency, Simulation and Automated Reasoning.
Joseph A. Goguen,
B. Taheri,
Patrick Lincoln,
1992,
[Proceedings 1992] The Fourth Symposium on the Frontiers of Massively Parallel Computation.
José Meseguer,
Timothy C. Winkler,
J. Meseguer,
1991,
Research Directions in High-Level Parallel Programming Languages.
Joseph A. Goguen,
Hitoshi Aida,
José Meseguer,
1989
.
Joseph A. Goguen,
José Meseguer,
Sany Leinwand,
1989
.
Timothy C. Winkler,
Mark Moriconi,
M. Moriconi,
1990,
IEEE Trans. Software Eng..
Patrick Lincoln,
Timothy C. Winkler,
P. Lincoln,
1992,
Theor. Comput. Sci..