This is joint work with M.I. Lali. The paper "Simple Concurrent Garbage Collection almost without Synchronization" is to appear in Formal Methods in System Design, see DOI: 10.1007/s10703-009-0083-z. A PVS proof script is available. For not PVS users, the plain PVS theories without proofs are more readable.
Comments and questions are welcome.
Back to my home page.
Wim H. Hesselink