Richard P. Reitman

1980
3	EE	Gregory R. Andrews, Richard P. Reitman: An Axiomatic Approach to Information Flow in Programs. ACM Trans. Program. Lang. Syst. 2(1): 56-76 (1980)
1979
2	EE	Richard P. Reitman, Gregory R. Andrews: Certifying Information Flow Properties of Programs: An Axiomatic Approach. POPL 1979: 283-290
1		Richard P. Reitman: A Mechanism for Information Control in Parallel Systems. SOSP 1979: 55-63

Coauthor Index

1

Gregory R. Andrews

[2] [3]