J. Bakker
发表
J. Bakker,
E. Vink,
1998
.
W. P. Roever,
J. Bakker,
C. Huizing,
1993
.
J. W. de Bakker,
Franck van Breugel,
J. Bakker,
2000,
Proof, Language, and Interaction.
Grzegorz Rozenberg,
J. W. de Bakker,
Cornelis Huizing,
1991,
Lecture Notes in Computer Science.
J. Bergstra,
J. Klop,
J. Bakker,
1984
.
Grzegorz Rozenberg,
Willem P. de Roever,
J. W. de Bakker,
1990
.
Grzegorz Rozenberg,
J. W. de Bakker,
W. P. de Roever,
1994,
Lecture Notes in Computer Science.
Grzegorz Rozenberg,
J. W. de Bakker,
W. P. de Roever,
1991
.
J. Bakker,
J. Zucker,
J. N. Kok,
2006
.
Grzegorz Rozenberg,
J. W. de Bakker,
W. P. de Roever,
1991
.
J. W. de Bakker,
Jan Rutten,
J. Rutten,
1991
.
Flow,
J. Bakker,
F. Breugel,
2011
.
Farhad Arbab,
Marcello M. Bonsangue,
J. W. de Bakker,
1997
.
Grzegorz Rozenberg,
J. W. de Bakker,
W. P. de Roever,
1986,
Lecture Notes in Computer Science.
Grzegorz Rozenberg,
Willem P. de Roever,
J. W. de Bakker,
1992
.
Grzegorz Rozenberg,
J. W. de Bakker,
Cornelis Huizing,
1992
.
Grzegorz Rozenberg,
J. W. de Bakker,
Cornelis Huizing,
1991
.
Grzegorz Rozenberg,
Willem P. de Roever,
Jacobus W. de Bakker,
1992,
Lecture Notes in Computer Science.
J. W. de Bakker,
J. Bakker,
1989,
IFIP Congress.
J. Bakker,
2005
.
J. W. de Bakker,
J. Bakker,
1977,
IFIP Congress.
Ernst-Rüdiger Olderog,
John-Jules Ch. Meyer,
J. W. de Bakker,
1985,
STOC '85.
Joost N. Kok,
J. W. de Bakker,
J. Kok,
1988,
FGCS.
J. W. de Bakker,
F.E.J. Kruseman Aretz,
xx et al.,
1972
.
Farhad Arbab,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2000,
Theor. Comput. Sci..
Ernst-Rüdiger Olderog,
John-Jules Ch. Meyer,
Joost N. Kok,
1986,
Current Trends in Concurrency.
Jan A. Bergstra,
John-Jules Ch. Meyer,
J. W. de Bakker,
1983,
Theor. Comput. Sci..
J. W. de Bakker,
Jeffery I. Zucker,
J. Bakker,
1982,
Inf. Control..
J. W. de Bakker,
Jeffery I. Zucker,
J. Bakker,
1982,
STOC '82.
Erik P. de Vink,
Jerry den Hartog,
J. W. de Bakker,
2001,
MFCSIT.
John-Jules Ch. Meyer,
J. W. de Bakker,
Jeffery I. Zucker,
1983,
Theor. Comput. Sci..
Erik P. de Vink,
Jerry den Hartog,
J. W. de Bakker,
1999,
Fundam. Informaticae.
J. W. de Bakker,
Franck van Breugel,
J. Bakker,
1993,
MFPS.
Erik P. de Vink,
J. W. de Bakker,
J. Bakker,
1996
.
J. W. de Bakker,
J. Bakker,
1991,
Inf. Comput..
Joost N. Kok,
J. W. de Bakker,
J. Kok,
1990,
Theor. Comput. Sci..
J. W. de Bakker,
J. Bakker,
1969
.
Grzegorz Rozenberg,
J. W. de Bakker,
Willem P. de Roever,
1989,
Lecture Notes in Computer Science.
Ernst-Rüdiger Olderog,
John-Jules Ch. Meyer,
J. W. de Bakker,
1985,
Theor. Comput. Sci..
John-Jules Ch. Meyer,
J. W. de Bakker,
Jan Willem Klop,
1981,
Logic of Programs.
Erik P. de Vink,
J. W. de Bakker,
J. Bakker,
1991,
PARLE.
Joost N. Kok,
J. W. de Bakker,
J. Kok,
1985,
ICALP.
J. W. de Bakker,
Jeffery I. Zucker,
J. Bakker,
1983,
Logic of Programs.
Erik P. de Vink,
J. W. de Bakker,
J. Bakker,
2009,
New Generation Computing.
J. W. de Bakker,
Lambert G. L. T. Meertens,
J. Bakker,
1975,
J. Comput. Syst. Sci..
J. W. de Bakker,
J. Bakker,
1975,
Lambda-Calculus and Computer Science Theory.
Pierre America,
Jan J. M. M. Rutten,
Joost N. Kok,
1989,
Inf. Comput..
Pierre America,
Jaco de Bakker,
J. Bakker,
1986,
Theor. Comput. Sci..
Pierre America,
Jan J. M. M. Rutten,
Joost N. Kok,
1986,
POPL '86.
Grzegorz Rozenberg,
Willem P. de Roever,
J. W. de Bakker,
1988,
Lecture Notes in Computer Science.
J. Bakker,
E. Vink,
I. D. Hartog,
1998
.
John-Jules Ch. Meyer,
J. W. de Bakker,
J. Meyer,
1988,
BIT.
Ernst-Rüdiger Olderog,
John-Jules Ch. Meyer,
J. W. de Bakker,
1988,
J. Comput. Syst. Sci..
J. W. de Bakker,
Jeffery I. Zucker,
J. Bakker,
1983,
ICALP.
John-Jules Ch. Meyer,
J. W. de Bakker,
J. Meyer,
1987,
Acta Informatica.
J. Bakker,
2007
.
Grzegorz Rozenberg,
J. W. de Bakker,
W. P. de Roever,
1992
.
J. W. de Bakker,
J. M. Rutten,
J. Rutten,
1992
.