Sciweavers

PLDI
2011
ACM

Partial-coherence abstractions for relaxed memory models

13 years 3 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav
Added 17 Sep 2011
Updated 17 Sep 2011
Type Journal
Year 2011
Where PLDI
Authors Michael Kuperstein, Martin T. Vechev, Eran Yahav
Comments (0)