Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe. Dependable Self-Hosting Distributed Systems Using Constraints. In Proceedings of the Fourth Workshop on Hot Topics in Syetms Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008. USENIX Association, 2008. [doi]
Abstract is missing.