Rely-Guarantee Reasoning for Causally Consistent Shared Memory.

Ori Lahav, Brijesh Dongol, Heike Wehrheim

Browse the full CAV paper archive.