Stephen A. Schuman
发表
Jean-Raymond Abrial,
Stephen A. Schuman,
J. Abrial,
1979,
Semantics of Concurrent Computation.
Stephen A. Schuman,
Jonathan E. Plaskow,
1966
.
Helmuth Partsch,
Bernhard Möller,
Stephen A. Schuman,
1993
.
David H. Pitt,
Stephen A. Schuman,
Paddy H. Byers,
1988,
Specification and Verification of Concurrent Systems.
Bertrand Meyer,
Jean-Raymond Abrial,
Stephen A. Schuman,
1980,
On the Construction of Programs.
Peter Hibbard,
Stephen A. Schuman,
1978
.
Stephen A. Schuman,
1971
.
Stephen A. Schuman,
S. Schuman,
1971
.
Stephen A. Schuman,
Philippe Jorrand,
1899
.
Philippe Jorrand,
Stephen A. Schuman,
P. Jorrand,
1899,
AFIPS '70 (Fall).
Christos Nikolaou,
Nissim Francez,
Edmund M. Clarke,
1983,
SIGCOMM 1983.