Tony Finch's link log
2014-09-12: A termination detection algorithm for distributed computations.
(long)
(short)
(atom)
(wayback machine)