Stephen A. Schuman

According to our database, Stephen A. Schuman authored at least 7 papers between 1970 and 1993.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1993

Introduction.

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1988

Object-Oriented Process Specification.

Stephen A. Schuman, David H. Pitt, Paddy H. Byers

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1983

A methodology for verifying request processing protocols.

Christos Nikolaou, Edmund M. Clarke, Nissim Francez, Stephen A. Schuman

Proceedings of the symposium on Communications Architectures & Protocols, 1983

1980

Specification Language.

Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer

Proceedings of the On the Construction of Programs, 1980

1979

Non-Deterministic System Specification.

Jean-Raymond Abrial, Stephen A. Schuman

Proceedings of the Semantics of Concurrent Computation, 1979

1971

An extensible interpreter.

Stephen A. Schuman

Proceedings of the International Symposium on Extensible Languages, 1971

1970

Definition mechanisms in extensible programming languages.

Stephen A. Schuman, Philippe Jorrand

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '70 Fall Joint Computer Conference, 1970