Corrigendum: “Distributed Termination”

• 1 July 1980
• journal article
• Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
• Vol. 2  (3) , 463
• https://doi.org/10.1145/357103.357113

Abstract