Summary: [PdR82] A. Pnueli and W.P. de Roever. Rendezvous with Ada: a prooftheoretical view. In
Proceedings of the SIGPLAN AdaTEC Conference on Ada, pages 129--137. ACM Press,
[PH88] A. Pnueli and E. Harel. Applications of temporal logic to the specification of real
time systems. In M. Joseph, editor, Formal Techniques in Realtime and Faulttolerant
Systems, Lecture Notes in Computer Science 331, pages 84--98. SpringerVerlag, 1988.
[Pnu77] A. Pnueli. The temporal logic of programs. In Proceedings of the 18th Annual Symposium
on Foundations of Computer Science, pages 46--57. IEEE Computer Society Press, 1977.
[Pnu86] A. Pnueli. Applications of temporal logic to the specification and verification of reactive
systems: a survey of current trends. In J.W. de Bakker, W.P. de Roever, and G. Rozen
berg, editors, Current Trends in Concurrency, Lecture Notes in Computer Science 224,
pages 510--584. SpringerVerlag, 1986.
[Rog67] H. Rogers, Jr. Theory of Recursive Functions and Effective Computability. McGrawHill
Book Company, 1967.
[Ron84] D. Ron. Temporal verification of communication protocols. Master's thesis, The Weiz
mann Institute of Science, Rehovot, Israel, 1984.
[SL87] A.U. Shankar and S. Lam. Timedependent distributed systems: proving safety, liveness,
and timing properties. Distributed Computing, 2(2):61--79, 1987.
[SPE84] D.E. Shasha, A. Pnueli, and W. Ewald. Temporal verification of carriersense local
area network protocols. In Proceedings of the 11th Annual Symposium on Principles of