- ACM Trans. Database Syst. 36(4):26 (2011)
- SIGMOD Record 33(2):78-83 (2004)
- FOCS, page 718-727. IEEE, (2011)
- Algorithmica 62(1-2):595-629 (2012)
- FTCS, page 168-177. IEEE Computer Society, (1996)
- DSN, page 259-264. IEEE, (2009)
- DSN, page 449-458. IEEE Computer Society, (2000)
- DSN, page 523-532. IEEE Computer Society, (2000)
- DSN, page 313-324. IEEE Computer Society, (2002)
- DSN, page 345-353. IEEE Computer Society, (2002)
- DSN, page 443-452. IEEE Computer Society, (2001)
- Middleware, volume 7049 of Lecture Notes in Computer Science, page 1-19. Springer, (2011)
- IEEE Concurrency 8(1):48-58 (2000)
- CoRR (2011)
- ACM Comput. Surv. 28(4):691-700 (1996)
- ACM Comput. Surv. 28(4es):153 (1996)
- Formal Methods in System Design 39(3):297-331 (2011)
- Encyclopedia of Algorithms, Springer, (2008)
- J. Parallel Distrib. Comput. 72(1):13-26 (2012)
- IEEE Trans. Software Eng. 27(1):29-41 (2001)


author