Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
This technical report complements the paper entitled “Scalable error isolation for distributed systems” published at USENIX NSDI 15.
Main Authors: | , , , , |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
2016
|
Subjects: | |
Online Access: | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-203622 http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-203622 http://www.qucosa.de/fileadmin/data/qucosa/documents/20362/TR-final-pdfa.pdf |