A construction of distributed reference counting

DOI10.1007/PL00013315zbMath0973.68262DBLPjournals/acta/MoreauD01WikidataQ57664089 ScholiaQ57664089MaRDI QIDQ5941636

Jean Duprat, Luc Moreau

Publication date: 20 August 2001

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

distributed reference counting

Mathematics Subject Classification ID

Distributed algorithms (68W15)

Related Items (1)

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

Uses Software

• Coq
• NeXeme

This page was built for publication: A construction of distributed reference counting