Sameer Ajmani, Barbara Liskov, Liuba Shrira. Scheduling and Simulation: How to Upgrade Distributed Systems. In Michael B. Jones, editor, Proceedings of HotOS 03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA. pages 43-48, USENIX, 2003.
Abstract is missing.