Robert J. Shaw

According to our database, Robert J. Shaw authored at least 3 papers between 1993 and 1998.

Collaborative distances:

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

1998

Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness.

Robert J. Shaw, Ronald A. Olsson

Inf. Sci., 1998

1996

Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes.

Robert J. Shaw, Ronald A. Olsson

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

1993

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.

Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993