Richard P. Reitman

According to our database, Richard P. Reitman authored at least 4 papers between 1978 and 1980.

Collaborative distances:

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

1980

An Axiomatic Approach to Information Flow in Programs.

Gregory R. Andrews, Richard P. Reitman

ACM Trans. Program. Lang. Syst., 1980

1979

A Mechanism for Information Control in Parallel Systems.

Richard P. Reitman

Proceedings of the Seventh Symposium on Operating System Principles, 1979

Certifying Information Flow Properties of Programs: An Axiomatic Approach.

Richard P. Reitman, Gregory R. Andrews

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978

Information Flow in Parallel Programs: An Axiomatic Approach.

Richard P. Reitman

PhD thesis, 1978