Distributed termination with interval assertions
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Termination detection for diffusing computationsInformation Processing Letters, 1980
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Comparative Performance of SVD and Adaptive Cosine Transform in Coding ImagesIEEE Transactions on Communications, 1979
- Communicating sequential processesCommunications of the ACM, 1978