![Logic / Predicate logic / First-order logic / Model theory / Replication / Revision control / Predicate / D3 / Consensus / Computing / Fault-tolerant computer systems / Computer programming Logic / Predicate logic / First-order logic / Model theory / Replication / Revision control / Predicate / D3 / Consensus / Computing / Fault-tolerant computer systems / Computer programming](https://www.pdfsearch.io/img/093399dad742673312b5b4ea8b8caabb.jpg) Date: 2008-04-04 18:08:12Logic Predicate logic First-order logic Model theory Replication Revision control Predicate D3 Consensus Computing Fault-tolerant computer systems Computer programming | | D3 S: Debugging Deployed Distributed Systems Xuezheng Liu† Zhenyu Guo† Xi Wang‡ Feibo Chen¶ Xiaochen Lian§ Jian Tang† Ming Wu† M. Frans Kaashoek∗ Zheng Zhang† Microsoft Research Asia ‡ Tsinghua UniversiAdd to Reading ListSource URL: static.usenix.orgDownload Document from Source Website File Size: 561,52 KBShare Document on Facebook
|