Inproceedings,

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

, and .
IFIP Congress (1), volume A-12 of IFIP Transactions, page 357-364. North-Holland, (1992)

Meta data

Tags

Users

  • @dblp

Comments and Reviews