Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm

Dominique Cansell, Dominique Méry. Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. Theoretical Computer Science, 364(3):318-337, 2006. [doi]

Abstract

Abstract is missing.