Logic of Programs 1983: Logics of Programs pp 443-457 | Cite as

An interval-based temporal logic

  • Richard L. Schwartz
  • P. M. Melliar-Smith
  • Friedrich H. Vogt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)


Temporal Logic Critical Section State Predicate Valid Formula Interval Logic 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bochmann, G.V., “Hardware Specification with Temporal Logic: An Example”, IEEE Transactions on Computers, Vol C-31, No. 3, March 1982.Google Scholar
  2. [2]
    Hailpern, B., “Verifying Concurrent Processes Using Temporal Logic”, Technical Report 195, Computer Systems Laboratory, Stanford Univ., August 1980.Google Scholar
  3. [3]
    Harel, D., “First-Order Dynamic Logic”, Springer Verlag Lecture Notes, No. 68, 1979.Google Scholar
  4. [4]
    International Standards Organization, “Data Processing — Open Systems Interconnection — Basic Reference Model”, ISO/DIS 7498, April 1982.Google Scholar
  5. [5]
    Lamport, L., “Timesets: A New Method for Temporal Reasoning about Programs”, Logics of Programs Conference, Springer Verlag, Vol. 131, Sept. 1981.Google Scholar
  6. [6]
    Moszkowski, B., “A Temporal Logic for Multi-Level Reasoning about Hardware”, Technical Report STAN-CS-82-952, Computer Science Dept., Stanford Univ., Dec. 1982.Google Scholar
  7. [7]
    Plaisted, D., “An Intermediate-Level Language for Obtaining Decision Procedures for a Class of Temporal Logics”, Computer Science Laboratory, SRI, in preparation, June 1983.Google Scholar
  8. [8]
    Schwartz, R., P.M. Melliar-Smith, “Temporal Logic Specification of Distributed Systems”, Proceedings of the IEEE Conference on Distributed Systems, April 1981.Google Scholar
  9. [9]
    Schwartz, R., P.M. Melliar-Smith, “From State Machines to Temporal Logic: Specification Methods for Protocol Standards”, IEEE Transactions on Communications, Dec. 1982.Google Scholar
  10. [10]
    Schwartz, R., P.M. Melliar-Smith, F. Vogt, “An Interval Logic for Higher-Level Temporal Reasoning”, Proceedings of the SIGACT/SIGOPS Conference on Principles of Distributed Computing, August, 1983.Google Scholar
  11. [11]
    Seitz, C., “Ideas about Arbiters”, Lambda, pp. 10–14, First Quarter, 1980.Google Scholar
  12. [12]
    Shostak, R., R. Schwartz, P.M. Melliar-Smith, “STP: A Mechanized Logic for Specification and Verification”, 6th Conference on Automated Deduction, Springer Verlag Lecture Notes, Vol. 138, June 1982.Google Scholar
  13. [13]
    Vogt, F., “Entwurf eines Ereignisorientierten Modells zur Spezifikation von Verteilten Systemen Mittels Temporaler Logik”, Ph.D. Dissertation, Technische Universität Wien, Austria, Feb. 1982.Google Scholar
  14. [14]
    Vogt, F., “Event-Based Temporal Logic Specification of Services and Protocols”, Protocol Specification, Testing and Verification, North-Holland Publishing, 1982.Google Scholar
  15. [15]
    Wolper, P., “Synthesis of Communicating Processes from Temporal Logic Specifications”, Report No. STAN-CS-82-925, Dept of Computer Science, Stanford University, August 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Richard L. Schwartz
    • 1
  • P. M. Melliar-Smith
    • 1
  • Friedrich H. Vogt
    • 1
  1. 1.Computer Science LaboratorySRI InternationalMenlo Park

Personalised recommendations