Fred B. Schneider
-
Tight failure detection bounds on atomic object implementations
Journal of the ACM (JACM)