Parallel programming in Temporal Logic

  • Roger Hale
  • Ben Moszkowski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 259)


Temporal Logic Linear Network Interval Temporal Logic Graph Traversal Algorithm Parallel Programming Paradigm 
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. [BDHM84]
    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.CrossRefGoogle Scholar
  2. [CG86]
    K. L. Clark and S. Gregory. Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1):1–49, January 1986.CrossRefGoogle Scholar
  3. [Cha82]
    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. [CM81]
    W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, 1981.Google Scholar
  5. [Er83]
    M. C. Er. A parallel computation approach to topological sorting. Computer Journal, 26(4):293–295, April 1983.Google Scholar
  6. [FKTM86]
    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. [Gor87]
    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. [Hal87]
    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. [Hen80]
    P. Henderson. Functional Programming: Application and Implementation. Prentice-Hall International, London, 1980.Google Scholar
  10. [Hoa85]
    C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, London, 1985.Google Scholar
  11. [Mos83]
    B. C. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Department of Computer Science, Stanford University, 1983.Google Scholar
  12. [Mos86]
    B. C. Moszkowski. Exceuting Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.Google Scholar
  13. [Pnu81]
    A. Pnueli. The temporal semantics of concurrent programs. Theoretical Computer Science, 13:45–60, 1981.CrossRefGoogle Scholar
  14. [Sha84]
    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. [Tan83]
    C. Tang. Toward a unified logic basis for programming languages. In Proceedings of the IFIP Congress 1983, North-Holand, Amsterdam, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Roger Hale
    • 1
  • Ben Moszkowski
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeEngland

Personalised recommendations