Dependable self-hosting distributed systems using constraints

Qin Yin, Justin Cappos, Andrew Baumann, and Timothy Roscoe

Details

Publication typeInproceedings
Published inProceedings of the 4th Workshop on Hot Topics in System Dependability
AddressSan Diego, CA, USA
PublisherUSENIX
> Publications > Dependable self-hosting distributed systems using constraints