Skip to main content
SpringerLink
Log in

An interval-based temporal logic

  • Conference paper
  • First Online:
Logics of Programs (Logic of Programs 1983)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 164))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Hailpern, B., “Verifying Concurrent Processes Using Temporal Logic”, Technical Report 195, Computer Systems Laboratory, Stanford Univ., August 1980.

    Google Scholar 

  3. Harel, D., “First-Order Dynamic Logic”, Springer Verlag Lecture Notes, No. 68, 1979.

    Google Scholar 

  4. International Standards Organization, “Data Processing — Open Systems Interconnection — Basic Reference Model”, ISO/DIS 7498, April 1982.

    Google Scholar 

  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. 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. 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. 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. 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. 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. Seitz, C., “Ideas about Arbiters”, Lambda, pp. 10–14, First Quarter, 1980.

    Google Scholar 

  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. 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. Vogt, F., “Event-Based Temporal Logic Specification of Services and Protocols”, Protocol Specification, Testing and Verification, North-Holland Publishing, 1982.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Computer Science Laboratory, SRI International, 94025, Menlo Park, CA

    Richard L. Schwartz, P. M. Melliar-Smith & Friedrich H. Vogt

Authors
  1. Richard L. Schwartz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. M. Melliar-Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Friedrich H. Vogt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Edmund Clarke Dexter Kozen

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schwartz, R.L., Melliar-Smith, P.M., Vogt, F.H. (1984). An interval-based temporal logic. In: Clarke, E., Kozen, D. (eds) Logics of Programs. Logic of Programs 1983. Lecture Notes in Computer Science, vol 164. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12896-4_380

Download citation

  • DOI: https://doi.org/10.1007/3-540-12896-4_380

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12896-0

  • Online ISBN: 978-3-540-38775-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation