Stephen A. Schuman

Publication Activity (10 Years)

Years Active: 1970-1993
Publications (10 Years): 0

Publications

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
Introduction. Formal Program Development (1993)
Stephen A. Schuman, David H. Pitt, Paddy H. Byers
Object-Oriented Process Specification. Specification and Verification of Concurrent Systems (1988)
Christos Nikolaou, Edmund M. Clarke, Nissim Francez, Stephen A. Schuman
A methodology for verifying request processing protocols. SIGCOMM (1983)
Jean-Raymond Abrial, Stephen A. Schuman
Non-Deterministic System Specification. Semantics of Concurrent Computation (1979)
Stephen A. Schuman
An extensible interpreter. International Symposium on Extensible Languages (1971)
Stephen A. Schuman, Philippe Jorrand
Definition mechanisms in extensible programming languages. AFIPS Fall Joint Computing Conference (1970)