A Separation Logic for Fictional Sequential Consistency.

Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod

Browse the full ESOP paper archive.