Scheduling and Simulation: How to Upgrade Distributed Systems.

Sameer Ajmani, Barbara Liskov, Liuba Shrira

Browse the full HotOS paper archive.