Atomicity failure and the retrenchment atomicity pattern

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney. Atomicity failure and the retrenchment atomicity pattern. Formal Asp. Comput., 25(3):439-464, 2013. [doi]

Abstract

Abstract is missing.