Using Belief to Reason about Cache Coherence.

Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan

Browse the full PODC paper archive.