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]