Characterizing Kripke structures in temporal logic

  • M. C. Browne
  • E. M. Clarke
  • O. Grümberg
Session CAAP 6 Foundations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 249)


Temporal Logic Linear Temporal Logic Atomic Proposition Concurrent Program Kripke Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    M. Ben-Ari, A. Pneuli, Z. Manna. "The Temporal Logic of Branching Time". Acta Informatica 20 (1983), 207–226.CrossRefGoogle Scholar
  2. 2.
    E.M. Clarke, E.A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. Proceedings of the Workshop on Logic of Programs, Yorktown-Heights, NY, Lecture Notes in Computer Science #131, 1981.Google Scholar
  3. 3.
    E.M. Clarke, E.A. Emerson, A.P. Sistla. Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications: A Practical Approach. Tenth ACM Symposium on Principles of Programming Languages, Austin, Texas, 1983, pp. 117–126.Google Scholar
  4. 4.
    E.A. Emerson, J.Y. Halpern. "Sometimes" and "Not Never" Revisited: On Branching versus Linear Time Temporal Logic. Proceedings of the ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Austin, Texas, January, 1982. to appear in JACM.Google Scholar
  5. 5.
    E. A. Emerson and P. Sistla. Deciding Full Branching-time Logic. The Sixteenth Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, Washington, D.C., May, 1984.Google Scholar
  6. 6.
    S. Graf and J. Sifakis. From Synchronization Tree Logic to Acceptance Model Logic. LNCS Vol. 193, Logics of Programs, 1985.Google Scholar
  7. 7.
    M. Hennessy and R. Milner. On Observing Nondeterminism and Concurrency. LNCS Vol. 85, 7th ICALP, 1980.Google Scholar
  8. 8.
    G.E. Hughes and M.J. Creswell. An Introduction to Modal Logic. Methuen and Co., 1977.Google Scholar
  9. 9.
    L. Lamport. "Sometimes" is Sometimes "Not Never". Seventh Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Las Vegas, January, 1980, pp. 174–185.Google Scholar
  10. 10.
    L. Lamport. What Good is Temporal Logic? Proceedings of the International Federation for Information Processing, 1983, pp. 657–668.Google Scholar
  11. 11.
    O. Lichtenstein and A. Pnucli. Checking that Finite State Concurrent Programs Satisfy Their Linear Specification. Conference Record of the Twelth Annual ACM Symposium on Principles of Programming Languages, New Orleans, La., January, 1985.Google Scholar
  12. 12.
    R. Milner. Lecture Notes in Computer Science. Volume 92: A Calculus of Communicating Systems. Springer-Verlag, 1979.Google Scholar
  13. 13.
    B. Mishra and E. Clarke. "Hierarchical Verification of Asynchronous Circuits using Temporal Logic", Theoretical Computer Science 38 (1985), 269–291.CrossRefGoogle Scholar
  14. 14.
    Z. Manna, P. Wolper. "Synthesis of Communicating Processes from Temporal Logic Specifications". ACM Transactions on Programming Languages and Systems 6 (1984), 68–93.CrossRefGoogle Scholar
  15. 15.
    A. Pnueli. Linear and Branching Structures in the Semantics and Logics of Reactive Systems. Proceedings of the 12th ICALP, 1985.Google Scholar
  16. 16.
    A.P. Sistla, E.M. Clarke, "Complexity of Propositional Linear Temporal Logics". Journal of the Association for Computing Machinery 32, 3 (July 1985), 733–749.Google Scholar
  17. 17.
    M.Y. Vardi, P. Wolper. An automata-theoretic approach to automatic program verification. Logic In Computer Science, Cambridge, Massachusetts, June, 1986.Google Scholar
  18. 18.
    P. Wolper. Specification and Synthesis of Communicating Processes Using an Extended Temporal Logic. Ninth Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Albuquerque, New Mexico, January, 1982, pp. 20–33.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • M. C. Browne
    • 1
  • E. M. Clarke
    • 1
  • O. Grümberg
    • 1
  1. 1.Carnegie Mellon UniversityPittsburgh

Personalised recommendations