Dependable Self-Hosting Distributed Systems Using Constraints

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]

Authors

Qin Yin

This author has not been identified. Look up 'Qin Yin' in Google

Justin Cappos

This author has not been identified. Look up 'Justin Cappos' in Google

Andrew Baumann

This author has not been identified. It may be one of the following persons: Look up 'Andrew Baumann' in Google

Timothy Roscoe

This author has not been identified. It may be one of the following persons: Look up 'Timothy Roscoe' in Google