1. Gary L. Peterson and John H. Reif, A Dynamic Logic
of Multiprocessing with Incomplete Information. 7th Annual ACM Symposium on Principles of Programming Languages, Las Vegas, NV, January 1980, pp.
193-202. [PDF]
2. John H. Reif, Logics for Probabilistic Programming.
12th Annual ACM Symposium on Theory of
Computing, Los Angeles, CA, April
1980, pp. 8-13. [PDF]
3. Joseph Y. Halpern and John H. Reif, The
Propositional Dynamic Logic of Deterministic, Well-Structured Programs, 22nd Annual IEEE Symposium on Foundations of
Computer Science, Nashville, TN,
October 1981, pp. 322-334. Published in Journal
of Theoretical Computer Science, Vol.
27, 1983, pp. 127-165. [PDF]
4.
John H. Reif
and A.P. Sistla, A Multiprocess Network Logic with Temporal and Spatial
Modalities, 10th International Colloquium
on Automata, Languages and Programming, Barcelona, Spain, July 1983; Lecture Notes in Computer Science, Vol.
154, 1983, pp. 629-639. Published in Journal
of Computer and System Sciences, Vol.
30, No. 1, February 1985, pp. 41-53. [PDF]
5. Richard E. Ladner and John H. Reif, The Logic of
Distributed Protocols. Conference on
Theoretical Aspects of Reasoning about Knowledge, Los Altos, CA, March
1986, pp. 207-223. [PDF]
6.
Steve Homer
and John H. Reif, Arithmetic Theories for Computational Complexity Problems, Journal of Information and Control, Vol.
69, nos. 1-3, April/May/June 1986, pp. 1-11. [PDF]