Reasoning About Promises in Weak Memory Models with Event Structures.

Heike Wehrheim, Lara Bargmann, Brijesh Dongol

Browse the full FM paper archive.