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