Roger C. Su

Rely-Guarantee Specification of a Concurrent Garbage Collector

by Roger C. Su and Nisansala P. Yatapanage

Rely-Guarantee Extensions and Locks

by Robert J. Colvin, Scott Heiner, Peter Höfner and Roger C. Su