Distributed Computing door M. Herlihy