Modeling weakly consistent memories with locks

Victor Luchangco. Modeling weakly consistent memories with locks. In SPAA. pages 332-333, 2001. [doi]

No reviews for this publication, yet.