@article{Herlihy90b,
 author = {M. Herlihy},
 title = {Concurrency and availability as dual properties of replicated atomic data},
 journal = {Journal of the ACM (JACM)},
 volume = {37},
 number = {2},
 year = {1990},
 issn = {0004-5411},
 pages = {257--278},
 doi = {http://doi.acm.org/10.1145/77600.77616},
 publisher = {ACM Press},
 }