A construction of distributed reference counting

• 1 May 2001
• journal article
• research article
• Published by Springer Nature in Acta Informatica
• Vol. 37  (8) , 563-595
• https://doi.org/10.1007/pl00013315

Abstract

Keywords

• GENERAL PURPOSE
• SAFETY PROPERTY
• GARBAGE COLLECTION
• ABSTRACT MACHINE
• PROOF ASSISTANT