%0 Journal Article %1 linearizability %A Herlihy, Maurice P. %A Wing, Jeannette M. %C New York, NY, USA %D 1990 %I ACM %J ACM Trans. Program. Lang. Syst. %K imported %N 3 %P 463--492 %R http://doi.acm.org/10.1145/78969.78972 %T Linearizability: a correctness condition for concurrent objects %V 12

@article{linearizability, added-at = {2013-08-31T20:54:19.000+0200}, address = {New York, NY, USA}, author = {Herlihy, Maurice P. and Wing, Jeannette M.}, biburl = {https://www.bibsonomy.org/bibtex/28cec5666216146286cc7dc2e0bd5a7d5/freitass}, doi = {http://doi.acm.org/10.1145/78969.78972}, interhash = {0e74a082f4427e6b45a6a2274470c791}, intrahash = {8cec5666216146286cc7dc2e0bd5a7d5}, issn = {0164-0925}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {imported}, number = 3, pages = {463--492}, publisher = {ACM}, timestamp = {2013-08-31T20:54:19.000+0200}, title = {Linearizability: a correctness condition for concurrent objects}, volume = 12, year = 1990 }