Maurice Herlihy . David Lomet and Betty Salzberg. Concurrency and recovery for index trees . David Lomet and Betty Salzberg. A recovery method for multi-level systems .
Impossibility results for asynchronous PRAM .
Maurice Herlihy . Randomized wait-free concurrent objects . Maurice Herlihy . Providing high availability using lazy replication. Rivka Ladin, Barbara Liskov, Liuba Shrira, and Sanjay Ghemawat.