Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example Export

@inproceedings{citeulike:3398643, address = {London, UK}, author = {Raynal, Michel}, booktitle = {Euro-Par '99: Proceedings of the 5th International Euro-Par Conference on Parallel Processing}, citeulike-article-id = {3398643}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=700610}, isbn = {3-540-66443-2}, keywords = {clock-vector, distributed-systems, lecture-asr}, pages = {806--814}, posted-at = {2008-10-12 21:10:27}, priority = {1}, publisher = {Springer-Verlag}, title = {Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example}, url = {http://portal.acm.org/citation.cfm?id=700610}, year = {1999} }

TY - CONF ID - citeulike:3398643 L3 - citeulike-article-id:3398643 SN - 3-540-66443-2 AD - London, UK EP - 814 TI - Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example PB - Springer-Verlag T2 - Euro-Par '99: Proceedings of the 5th International Euro-Par Conference on Parallel Processing SP - 806 KW - clock-vector KW - distributed-systems KW - lecture-asr AU - Raynal, Michel PY - 1999/// UR - http://portal.acm.org/citation.cfm?id=700610 ER -