Sciweavers

70
Voted
PLDI
2011
ACM

Partial-coherence abstractions for relaxed memory models

14 years 15 days 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)