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