1. G.L. Peterson and J.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. J.H. Reif, Logics for Probabilistic Programming. 12th
Annual ACM Symposium on Theory of Computing, Los Angeles, CA,
April 1980, pp. 8-13. [PDF]
3. J.Y. Halpern and J.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.
J.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. R.E. Ladner and J.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.
S. Homer and J.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]