S. Brookes
发表
M. Mislove,
S. Brookes,
1993,
Lecture Notes in Computer Science.
J. Avigad,
S. Brookes,
2004
.
S. Brookes,
Susan Older,
1995
.
Phokion G. Kolaitis,
Stephen R. Mahaney,
J. Feigenbaum,
2007
.
A. Melton,
M. Main,
S. Brookes,
1994,
Lecture Notes in Computer Science.
Stephen Brookes,
Shai Geva,
S. Geva,
1992
.
L. Preucil,
F. Moller,
R. Stärk,
2017
.
David A. Schmidt,
Austin Melton,
Stephen Brookes,
1985
.
S. Geva,
S. Brookes,
1993
.
A. W. Roscoe,
Stephen D. Brookes,
S. Brookes,
2021,
Theories of Programming.
A. W. Roscoe,
Stephen D. Brookes,
S. Brookes,
1989,
Distributed Computing.
S. Brookes,
2003
.
Glynn Winskel,
Andrew William Roscoe,
A. W. Roscoe,
1984,
Lecture Notes in Computer Science.
Glynn Winskel,
Andrew William Roscoe,
A. W. Roscoe,
1984
.
Stephen Brookes,
S. Brookes,
1994
.
Stephen D. Brookes,
S. Brookes,
1983,
Logic of Programs.
Phokion G. Kolaitis,
Stephen R. Mahaney,
G. Neiger,
1996
.
Stephen D. Brookes,
S. Brookes,
2002,
CONCUR.
Stephen Brookes,
S. Brookes,
2002
.
C. A. R. Hoare,
A. W. Roscoe,
Stephen D. Brookes,
1984,
JACM.
Stephen D. Brookes,
S. Brookes,
1983,
ICALP.
Stephen D. Brookes,
William C. Rounds,
W. Rounds,
1983,
ICALP.
Austin Melton,
Michael G. Main,
Michael W. Mislove,
1995,
MFPS.
Stephen D. Brookes,
S. Brookes,
2004,
CONCUR.
Mary Shaw,
Marc Donner,
James Richard. Driscoll,
1983
.
Stephen Brookes,
S. Brookes,
1992
.
Stephen D. Brookes,
S. Brookes,
1984,
Seminar on Concurrency.
Peter W. O'Hearn,
Stephen Brookes,
P. O'Hearn,
2016,
SIGL.
G. Plotkin,
Andrzej Filinski,
S. Brookes,
1996
.
A. W. Roscoe,
Stephen D. Brookes,
S. Brookes,
1989,
Distributed Computing.
Stephen D. Brookes,
S. Brookes,
1993,
Theor. Comput. Sci..
Stephen Brookes,
S. Brookes,
2011,
MFPS.
Stephen D. Brookes,
S. Brookes,
2006,
MFPS.
Stephen D. Brookes,
S. Brookes,
1987,
MFPS.
Stephen D. Brookes,
S. Brookes,
1985,
Mathematical Foundations of Programming Semantics.
Stephen D. Brookes,
S. Brookes,
2004,
25 Years Communicating Sequential Processes.
Austin Melton,
Michael G. Main,
Michael W. Mislove,
1997,
Mathematical Foundations of Programming Semantics.
A. W. Roscoe,
Stephen D. Brookes,
S. Brookes,
1984,
Seminar on Concurrency.
Michael W. Mislove,
Stephen D. Brookes,
M. Mislove,
2002,
Theoretical Computer Science.
Ryan Kavanagh,
Stephen Brookes,
S. Brookes,
2017,
MFPS.
Stephen D. Brookes,
S. Brookes,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Stephen Brookes,
Kathryn Van Stone,
S. Brookes,
1993
.
Stephen D. Brookes,
William C. Rounds,
W. Rounds,
1981,
22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Stephen Brookes,
S. Brookes,
1998
.
Stephen D. Brookes,
S. Brookes,
1985,
Logic of Programs.
Stephen Brookes,
Denis Razuan Dancanet,
S. Brookes,
1998
.
Stephen Brookes,
Kathryn Van Stone,
S. Brookes,
2003
.
Glynn Winskel,
Andrew William Roscoe,
A. W. Roscoe,
1985
.
Stephen D. Brookes,
S. Brookes,
2001,
MFPS.
Stephen D. Brookes,
S. Brookes,
1997,
MFPS.
Phokion G. Kolaitis,
Moshe Y. Vardi,
Stephen R. Mahaney,
1997,
Chic. J. Theor. Comput. Sci..