Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness

Xinfeng Ye, John A Keane, Jan van Leeuwen (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this