Scheduling and Simulation: How to Upgrade Distributed Systems.

Sameer Ajmani Barbara Liskov Liuba Shrira Scheduling and Simulation: How to Upgrade Distributed Systems. 43-48 2003 conf/hotos/2003 HotOS db/conf/hotos/hotos2003.html#AjmaniLS03