An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Distributed Computing
Termination detection for dynamically distributed systems with non-first-in-first-out communication
Journal of Parallel and Distributed Computing
A fully distributed termination detection scheme
Information Processing Letters
Global quiescence detection based on credit distribution and recovery
Information Processing Letters
A message-optimal algorithm for distributed termination detection
Journal of Parallel and Distributed Computing
Distributed termination detection with roughly synchronized clocks
Information Processing Letters
Routing in the Internet
An (N -1)-Resilient Algorithm for Distributed Termination Detection
IEEE Transactions on Parallel and Distributed Systems
Detecting termination by weight-throwing in a faulty distributed system
Journal of Parallel and Distributed Computing
A taxonomy of distributed termination detection algorithms
Journal of Systems and Software
ACM Transactions on Programming Languages and Systems (TOPLAS)
Termination Detection of Diffusing Computations in Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Challenges of Mobile Computing
Computer
A More Efficient Message-Optimal Algorithm for Distributed Termination Detection
IPPS '92 Proceedings of the 6th International Parallel Processing Symposium
Experience with a New Distributed Termination Detection Algorithm
Proceedings of the 2nd International Workshop on Distributed Algorithms
Distributed Termination with Interval Assertions
Proceedings of the International Colloquium on Formalization of Programming Concepts
A Class of Termination Detection Algorithms For Distributed Computation
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Detecting termination of distributed computations using markers
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
An efficient delay-optimal distributed termination detection algorithm
Journal of Parallel and Distributed Computing
Tiered Algorithm for Distributed Process Quiescence and Termination Detection
IEEE Transactions on Parallel and Distributed Systems
Hi-index | 0.00 |