A Protocol for Distributed Reference Counting

@inproceedings{Lermen1986APF,
  title={A Protocol for Distributed Reference Counting},
  author={Claus-Werner Lermen and Dieter Maurer},
  booktitle={LISP and Functional Programming},
  year={1986}
}
In this article a protocol for distributed reference counting is developed and proved correct. It is pointed out, how it can be used to detect instemces where update in place is allowed. An implementation scheme is presented that requires bookkeeping messages only for tire copying of references across processor boundaries and for the deletion of references copied in this way. Synchronization is only necessary for the deletion of these references. 
Highly Cited
This paper has 34 citations. REVIEW CITATIONS