Dynamic Analysis of the Arrow Distributed Protocol - Herlihy, Maurice et al - swissbib.ch:(NATIONALLICENCE)springer-10.1007/s00224-006-1251-9