%0 Journal Article %1 journals/fac/BanachJHS13 %A Banach, Richard %A Jeske, Czeslaw %A Hall, Anthony %A Stepney, Susan %D 2013 %J Formal Aspects Comput. %K dblp %N 3 %P 439-464 %T Atomicity failure and the retrenchment atomicity pattern. %U http://dblp.uni-trier.de/db/journals/fac/fac25.html#BanachJHS13 %V 25

@article{journals/fac/BanachJHS13, added-at = {2022-05-09T00:00:00.000+0200}, author = {Banach, Richard and Jeske, Czeslaw and Hall, Anthony and Stepney, Susan}, biburl = {https://www.bibsonomy.org/bibtex/29ea5f144eb55f51e93a8da50c04fee03/dblp}, ee = {https://doi.org/10.1007/s00165-011-0216-1}, interhash = {d55f3bed0db5e3487b78bd5ef1ccd6eb}, intrahash = {9ea5f144eb55f51e93a8da50c04fee03}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 3, pages = {439-464}, timestamp = {2024-04-09T05:37:56.000+0200}, title = {Atomicity failure and the retrenchment atomicity pattern.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac25.html#BanachJHS13}, volume = 25, year = 2013 }