https://isa-afp.org/authors/yatapanage/ AFP entries of Nisansala P. Yatapanage https://isa-afp.org/entries/RG_VDM_Garbage_Collector.html Thu, 15 Oct 2026 00:00:00 +0000 Rely-Guarantee Specification of a Concurrent Garbage Collector in the AFP Computer science/Concurrency