Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney. Atomicity failure and the retrenchment atomicity pattern. Formal Asp. Comput., 25(3):439-464, 2013. [doi]
@article{BanachJHS13, title = {Atomicity failure and the retrenchment atomicity pattern}, author = {Richard Banach and Czeslaw Jeske and Anthony Hall and Susan Stepney}, year = {2013}, doi = {10.1007/s00165-011-0216-1}, url = {http://dx.doi.org/10.1007/s00165-011-0216-1}, researchr = {https://researchr.org/publication/BanachJHS13}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {25}, number = {3}, pages = {439-464}, }