Termination detection for dynamically distributed systems with non-first-in-first-out communication
- 1 December 1986
- journal article
- Published by Elsevier in Journal of Parallel and Distributed Computing
- Vol. 3 (4) , 577-599
- https://doi.org/10.1016/0743-7315(86)90015-8
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- How processes learnDistributed Computing, 1986
- Distributed computation via active messagesIEEE Transactions on Computers, 1985
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- A class of termination detection algorithms for distributed computationsPublished by Springer Nature ,1985
- Derivation of a termination detection algorithm for distributed computationsInformation Processing Letters, 1983
- Achieving Distributed Termination without FreezingIEEE Transactions on Software Engineering, 1982
- Termination Detection of Diffusing Computations in Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1982
- Termination detection for diffusing computationsInformation Processing Letters, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978