2 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Lara Bargmann, Heike Wehrheim
Reasoning about concurrent programs executed on weak memory models is an inherently complex task. So far, existing proof calculi for weak memory models only cover safety properties…