Termination Detection of Diffusing Computations in Communicating Sequential Processes
- 1 January 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (1), 37-43
- https://doi.org/10.1145/357153.357156
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Asynchronous distributed simulation via a sequence of parallel computationsCommunications of the ACM, 1981
- Termination detection for diffusing computationsInformation Processing Letters, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978