The glory of the past

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 193 LNCS, Issue , 1985, Pages 196-218

  Lichtenstein, Orna ^a   Pnueli, Amir ^b   Zuck, Lenore ^b  

^a TEL AVIV UNIVERSITY   (Israel)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; TEMPORAL LOGIC;

AXIOMATIC SYSTEM; DECISION PROCEDURE; EXPONENTIAL TIME; FINITE STATE PROGRAM; LIVENESS; MODULAR VERIFICATION; NORMAL FORM;

COMPUTER CIRCUITS;

EID: 85035040046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-15648-8_16     Document Type: Conference Paper

References (35)

1. Alpern, B., Schneider, F.B., - Defining Liveness, Cornell University, (Oct. 1984).
2. Barringer, H., Kuiper R., - A Temporal Logic Specification Method Supporting Hierarchical Development, University of Manchester, (Nov. 1983).
3. Barringer, H., Kniper, R., Pnueli, A. - Now You May Compose Temporal Logic Specifications, 16tfi Symposium on Theory of Computing (April 1984), 51-63.
4. Buchi, J. R., - On a Decision Method in Restricted Second Order Arithmetic, Proe. Intern. Congr. Logic, and Philos. Set 1960, 1960, Stanford University Press (1962) 1-11.
5. Biichi, J.R., - Weak Second Order Arithmetics and Finite Automata, Z. Math. Logik Grundlagen Math 6 (1960) 66-92.
6. Burgess, J., - Basic Tense Logic, in Handbook of Philosophical Logic, Vol. 2 (D. Gabbay and F. Guenthner eds.) D. Reidel Pub. Co., (1984).
7. Choueka, Y., - Theories of Automata on w-Tapes: A Simplified Approach, Journal of Computers aad Systems Sciences 8 (1974) 117-141.
8. Chen, Z.C., Hoare, C.A.R., - Partial Correctness of Communicating Processes and Protocols, Technical Monograph, PRG-20 Oxford University Computing Laboratory (May 1981).
9. Gabbay, D., Pnueli, A., Shelah, S., Stavi, J., - On the Temporal Analysis of Fairness, Proc of the 7th ACM Symp. on Principles of Programming Languages (1980) 163-173.
10. Hoare, C.A.R., - A Calculus of Total Correctness for Communicating Precesses, Technical Monograph, RPG-23 Oxford University Computing Laboratory (May 1981).
11. Hailpern, B., Owieki, S., - Modular Verification of Computer Communication Protocols, IEEE Trans, on Communications, COM-31, 1 (Jan. 1983) 56-68.
12. Kamp, H.W., - Tense Logic and the Theory of Linear Order, Ph.D. Thesis, University of California Los Angeles (1968).
13. Koymans, R., Vytopil, J., DeRoever, W.P., - Real Time Programming and Asynchronous Message Passing, 2nd ACM Symp. of Distributed Computing, Montreal (1983) 187-197.
14. Lamport, L., - What is Good in Temporal Logic?, Proceeding IFIP (1983) 657-668.
15. Lichtenstein, O., - Decidablity and Completeness of a Temporal Proof System for Finite State Programs, M.Sc. Thesis, Tel Aviv University (1984).
16. Lichtenstein, O., Pnueli, A., - Checking That Finite State Concurrent Programs Satisfy Their Linear Specification, ACM Symp. on Principles of Programming Languages (1985).
17. Misra, J., Chandy, K.M., - Proofs of Networks of Processes, IEEE Trans, on Software Engineering 5E-7, 4 (July 1981).
18. McNaughton, R., Papert, S., - Counter Free Automata, MIT press, Cambridge, Mass (1971).
19. Manna, Z., Pnueli, A., - Verification of Concurrent Programs: A Temporal Proof System, Proc. 4th School on Advanced Programming, Amsterdam (June 1982) 163-255.
20. Manna, Z., Pnueli, A., - How to Cook a Temporal Proof System for your Pet Programming Language Proc of the 10th ACM Symp. on Principles of Programming Languages (1983).
21. Manna, Z., Pnueli, A., - Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs, Science and Computer Programming, Forthcoming.
22. Nguyen, V., Gries, D., Owicki, S., - A Model and Temporal Proof System for Networks of Processes, Proc of the 12th ACM Symp. on Principles of Programming Languages (1985).
23. Owicki, S., Gries, D., - An axiomatic Proof Technique for Parallel Programs, Acta Informatics, 6 (1976) 319-340.
24. Owicki, S., Lamport, L., - Proving Liveness Properties of Concurrent Programs, ACM TOPLAS 4, 3 (July 1982) 455-495.
25. Peikert, R., - Prepositional Temporal Logic and w-regular Languages, Manuscript, ETH-Ziirich.
26. Pnueli, A., - The Temporal Logic of Programs, 18th Annual Symp. on Foundation of Computer Science (1977) 46-57.
27. Pnueli, A., - In Transition from Global to Modular Temporal Reasoning about Programs, Proc. Advanced NATO Institute on Logic and Models for Verification and Specification of Concurrent Systems, La Colle-Sur-Loupe (Oct. 1984).
28. Pnueli, A., - On the Extremely Fair Treatment of Probabilistic Algorithms, Proc. of the 15th Annual ACM Symp. on Theory of Computing (1983).
29. Prior, P., - Past Present and Future, Oxford Press.
30. Rescher, N., Urquhart, A., - Temporal Logic, Springer Verlag (1971).
31. Sistla, A.P., - Characterization of Safety and Liveness Properties in Temporal Logic, University of Massachusetts, Amherst (Nov. 1984).
32. A.P. Sistla, E.M. Carke, The Complexity of Prepositional Temporal Logic, 14th ACM Symposium on Thoery of Computing, (May 1982) 159-167.
33. Thomas, W., - A Combinatorial Approach to the Theory of w-Automata, Information and Control 48, 3 (March 1981) 261-283.
34. Vardi, M.Y., Wolper, P., - Expressiveness and Complexity of Languages for Describing Sequences, Stanford University.
35. Wolper, P., - Temporal Logic can be More Expressive, Proc. of the 22nd Annual Symp. on Foundation of Computer Science (1981) 340-348.