Summary: [PdR82] A. Pnueli and W.­P. de Roever. Rendez­vous with Ada: a proof­theoretical view. In
Proceedings of the SIGPLAN AdaTEC Conference on Ada, pages 129--137. ACM Press,
1982.
[PH88] A. Pnueli and E. Harel. Applications of temporal logic to the specification of real­
time systems. In M. Joseph, editor, Formal Techniques in Real­time and Fault­tolerant
Systems, Lecture Notes in Computer Science 331, pages 84--98. Springer­Verlag, 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. Springer­Verlag, 1986.
[Rog67] H. Rogers, Jr. Theory of Recursive Functions and Effective Computability. McGraw­Hill
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. Time­dependent 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 carrier­sense local
area network protocols. In Proceedings of the 11th Annual Symposium on Principles of

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania
Henzinger, Thomas A. - Faculté Informatique et Communications, Ecole Polytechnique Fédérale de Lausanne

Collections: Computer Technologies and Information Sciences