Simple concurrent garbage collection almost without synchronization

Wim H. Hesselink, M. I. Lali. Simple concurrent garbage collection almost without synchronization. Formal Methods in System Design, 36(2):148-166, 2010. [doi]

Abstract

Abstract is missing.