EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

Browse the full FORTE paper archive.