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]