Parallel programming in Temporal Logic
- 1 January 1987
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 277-296
- https://doi.org/10.1007/3-540-17945-3_16
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- Tokio: Logic programming language based on temporal logic and its compilation to PrologLecture Notes in Computer Science, 1986
- A taxonomy of parallel sortingACM Computing Surveys, 1984
- Systems programming in concurrent prologPublished by Association for Computing Machinery (ACM) ,1984
- A Parallel Computation Approach to Topological SortingThe Computer Journal, 1983
- Echo Algorithms: Depth Parallel Operations on General GraphsIEEE Transactions on Software Engineering, 1982
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981