"Algorithms for on-the-fly garbage collection" revisited

Garbage collecting the world

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The derivation of distributed termination detection algorithms from garbage collection schemes

ACM Transactions on Programming Languages and Systems (TOPLAS)

Indirect distributed garbage collection: handling object migration

ACM Transactions on Programming Languages and Systems (TOPLAS)

Lock-free reference counting

Proceedings of the twentieth annual ACM symposium on Principles of distributed computing

A Parallel Asynchronous Garbage Collection Algorithm for Distributed Systems

IEEE Transactions on Knowledge and Data Engineering

Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science

Experience with Predicate Abstraction

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Lock-free reference counting

Distributed Computing - Special issue: Selected papers from PODC '01

Birrell's distributed reference listing revisited

ACM Transactions on Programming Languages and Systems (TOPLAS)

On-the-fly garbage collection for several mutators

Distributed Computing

Simple concurrent garbage collection almost without synchronization

Formal Methods in System Design