Skip to main content
SpringerLink
Log in

Executing temporal logic: Review and prospects

  • Invited Papers
  • Conference paper
  • First Online:
CONCURRENCY 88 (CONCURRENCY 1988)

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

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

References

  1. Martin Abadi. Temporal-Logic Theorem Proving. PhD thesis, Department of Computer Science, Stanford University, March 1987.

    Google Scholar 

  2. M. Abadi and Z. Manna. Non-clausal Temporal Deduction. Lecture Notes in Computer Science, 193:1–15, June 1985.

    Google Scholar 

  3. Martin Abadi and Zohar Manna. A Timely Resolution. Technical Report STAN-CS-86-1106, Stanford University, June 1986.

    Google Scholar 

  4. D. Gabbay. Executable Temporal Logic for Interactive Systems. In Colloquium on Temporal Logic: Circulated Papers, Department of Computer Science, Manchester, April 1987.

    Google Scholar 

  5. D. Gabbay. Modal and Temporal Logic Programming. In A. Galton, editor, Temporal Logics and their Applications, Academic Press, London, December 1987.

    Google Scholar 

  6. T. Hattori, R. Nakajima, N. Niide, and K. Takenaka. RACCO: a Modal-Logic Programming Language for Writin Models of Real-time Process-Control Systems. Technical Report, Research Institute for Mathematical Sciences, Kyoto University, November 1986.

    Google Scholar 

  7. B. Moszkowski and Z. Manna. Reasoning in Interval Temporal Logic. Technical Report, Stanford University, July 1983.

    Google Scholar 

  8. B. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Department of Computer Science, Stanford University, July 1983.

    Google Scholar 

  9. B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.

    Google Scholar 

  10. T. Sakuragawa. Temporal Prolog. Technical Report, Research Institute for Mathematical Sciences, Kyoto University, 1986. to appear in Computer Software.

    Google Scholar 

  11. Zhou Shengzong and Tang Zhisong. Designing and Verifying Distributed Programs Using Temporal Logic. Technical Report AS-IS-85, XYZ Report No. 4, Institute of Software, Academica Sinica, Beijing, China, December 1985.

    Google Scholar 

  12. Tang Zhisong. Toward a Unified Logic Basis of Programming Languages. In R. E. A. Mason, editor, Information Processing 83, pages 425–429, IFIP, Elsevier Science Publishers B.V. (North Holland), Amsterdam, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Manchester, UK

    Howard Barringer

  2. Department of Computing, Imperial College of Science an Technology, London

    Dov Gabbay

Authors
  1. Howard Barringer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dov Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Frederich H. Vogt

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barringer, H., Gabbay, D. (1988). Executing temporal logic: Review and prospects. In: Vogt, F.H. (eds) CONCURRENCY 88. CONCURRENCY 1988. Lecture Notes in Computer Science, vol 335. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50403-6_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-50403-6_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation