@string{acmcs = "ACM Computing Surveys"}
@string{azcs = "Computer Science Department, University of Arizona"}
@string{cacm = "Communications of the ACM"}
@string{computer = "IEEE Computer" }
@string{dcs5 = "Proceedings of the Fifth International Conference on Distributed Computing Systems"}
@string{ftcs13 = "Digest of Papers, The Thirteenth International Symposium on Fault-Tolerant Computing"}
@string{ftcs15 = "Digest of Papers, The Fifteenth International Symposium on Fault-Tolerant Computing"}
@string{ftcs16 = "Digest of Papers, The Sixteenth International Symposium on Fault-Tolerant Computing"}
@string{ftcs17 = "Digest of Papers, The Seventeenth International Symposium on Fault-Tolerant Computing"}
@string{ftcs18 = "Digest of Papers, The Eighteenth International Symposium on Fault-Tolerant Computing"}
@string{ftcs19 = "Digest of Papers, The Nineteenth International Symposium on Fault-Tolerant Computing"}
@string{ftcs20 = "Digest of Papers, The Twentieth International Symposium on Fault-Tolerant Computing"}
@string{ftcs22 = "Digest of Papers, The Twenty Second International Symposium on Fault-Tolerant Computing"}
@string{sosp10 = "Proceedings of the Tenth ACM Symposium on Operating Systems Principles"}
@string{spe = "Software---Practice and Experience"}
@string{srds5 = "Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems"}
@string{srds7 = "Proceedings of the Seventh Symposium on Reliable Distributed Systems"}
@string{srds11 = "Proceedings of the Eleventh Symposium on Reliable Distributed Systems"}
@string{srds13 = "Proceedings of the Thirteenth Symposium on Reliable Distributed Systems"}
@string{toplas = "ACM Transactions on Programming Languages and Systems"}
@string{tocs = "ACM Transactions on Computer Systems"}
@string{tse = "IEEE Transactions on Software Engineering"}
@string{sedmsIII = "Proceedings of the USENIX Symposium on Experiences with Distributed and Multiprocessor Systems (SEDMS III)"}