Recommendations
Cites work
- An assertional correctness proof of a distributed algorithm
- scientific article; zbMATH DE number 3903947 (Why is no real title available?)
- scientific article; zbMATH DE number 3903951 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- Termination detection for diffusing computations
Cited in
(7)- A fully distributed termination detection scheme
- Ring based termination detection algorithm for distributed computations
- scientific article; zbMATH DE number 3926219 (Why is no real title available?)
- scientific article; zbMATH DE number 3940743 (Why is no real title available?)
- scientific article; zbMATH DE number 4020457 (Why is no real title available?)
- scientific article; zbMATH DE number 19769 (Why is no real title available?)
- Implementation and verification of ring termination detection protocols using structured rv-systems
This page was built for publication: Distributed termination on a ring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1077154)