Skip to main content
SpringerLink
Log in

Parallel programming in Temporal Logic

  • Conference paper
  • First Online:
PARLE Parallel Architectures and Languages Europe (PARLE 1987)

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

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. D. Bitton, D. J. DeWitt, D. K. Hsiao, and J. Menon. A taxonomy of parallel sorting. ACM Computing Surveys, 16(3):287–318, September 1984.

    Article  Google Scholar 

  2. K. L. Clark and S. Gregory. Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1):1–49, January 1986.

    Article  Google Scholar 

  3. E. J. H. Chang. Echo algorithms: depth-first parallel operations on general graphs. IEEE Transactions on Software Engineering, 8(4):391–401, July 1982.

    Google Scholar 

  4. W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, 1981.

    Google Scholar 

  5. M. C. Er. A parallel computation approach to topological sorting. Computer Journal, 26(4):293–295, April 1983.

    Google Scholar 

  6. M. Fujita, S. Kono, H. Tanaka, and T. Moto-oka. Tokio: logic programming language based on temporal logic and its compilation to prolog. In Proceedings of the Third International Conference on Logic Programming, London, July 1986.

    Google Scholar 

  7. M. J. C. Gordon. HOL: A Proof Generating System for Higher Order Logic. Technical Report 103, Computer Laboratory, University of Cambridge, England, 1987.

    Google Scholar 

  8. R. W. S. Hale. Temporal logic programming. In A. Galton, editor, Temporal Logic and Its Applications, Academic Press, London, 1987. (In preparation).

    Google Scholar 

  9. P. Henderson. Functional Programming: Application and Implementation. Prentice-Hall International, London, 1980.

    Google Scholar 

  10. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, London, 1985.

    Google Scholar 

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

    Google Scholar 

  12. B. C. Moszkowski. Exceuting Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.

    Google Scholar 

  13. A. Pnueli. The temporal semantics of concurrent programs. Theoretical Computer Science, 13:45–60, 1981.

    Article  Google Scholar 

  14. E. Y. Shapiro. Sysytems programming in concurrent prolog. In Proceedings of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, USA, January 1984.

    Google Scholar 

  15. C. Tang. Toward a unified logic basis for programming languages. In Proceedings of the IFIP Congress 1983, North-Holand, Amsterdam, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Laboratory, University of Cambridge, Corn Exchange Street, CB2 3QG, Cambridge, England

    Roger Hale & Ben Moszkowski

Authors
  1. Roger Hale
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ben Moszkowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker A. J. Nijman P. C. Treleaven

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hale, R., Moszkowski, B. (1987). Parallel programming in Temporal Logic. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds) PARLE Parallel Architectures and Languages Europe. PARLE 1987. Lecture Notes in Computer Science, vol 259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17945-3_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-17945-3_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47181-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation