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

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics