Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui. Tight failure detection bounds on atomic object implementations. Journal of the ACM, 57(4), 2010. [doi]
@article{Delporte-GalletFG10,
title = {Tight failure detection bounds on atomic object implementations},
author = {Carole Delporte-Gallet and Hugues Fauconnier and Rachid Guerraoui},
year = {2010},
doi = {10.1145/1734213.1734216},
url = {http://doi.acm.org/10.1145/1734213.1734216},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Delporte-GalletFG10},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {57},
number = {4},
}