@article(AfekAFFLMWZ94,
 author       = {Yehuda Afek and Hagit Attiya and Alan Fekete and Michael J. Fischer and Nancy A. Lynch and Yishay Mansour and Da{-}Wei Wang and Lenore D. Zuck},
 year         = {1994},
 title        = {Reliable Communication Over Unreliable Channels},
 journal      = {Journal of the {ACM}},
 volume       = {41},
 number       = {6},
 pages        = {1267--1297},
 doi          = {10.1145/195613.195651},
)
@article(Amadio-asynch,
 author       = {Roberto M. Amadio and Ilaria Castellani and Davide Sangiorgi},
 year         = {1998},
 title        = {On Bisimulations for the Asynchronous pi-Calculus},
 journal      = {Theoretical Computer Science},
 volume       = {195},
 number       = {2},
 pages        = {291--324},
 doi          = {10.1016/S0304-3975(97)00223-5},
)
@inproceedings(Amadio-localities,
 author       = {Roberto M. Amadio and Sanjiva Prasad},
 year         = {1994},
 title        = {Localities and Failures (Extended Abstract)},
 booktitle    = {Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1994)},
 pages        = {205--216},
 doi          = {10.1007/3-540-58715-2\_126},
)
@article(ABP1969,
 author       = {K. A. Bartlett and R. A. Scantebury and P.T. Wilkinson},
 year         = {1969},
 title        = {A note on reliable full-duplex transmission over half-duplex links},
 journal      = {CACM},
 volume       = {12},
 number       = {5},
 pages        = {260--261},
 doi          = {10.1145/362946.362970},
)
@article(RAID,
 author       = {Peter M. Chen and Edward K. Lee and Garth A. Gibson and Randy H. Katz and David A. Patterson},
 year         = {1994},
 title        = {RAID: High-Performance, Reliable Secondary Storage},
 journal      = {ACM Computing Surveys},
 volume       = {26},
 pages        = {145--185},
 doi          = {10.1145/176979.176981},
)
@article(Finkel-wsts,
 author       = {A. Finkel and Ph. Schnoebelen},
 year         = {2001},
 title        = {Well-structured Transition Systems Everywhere!},
 journal      = {Theoretical Computer Science},
 volume       = {256},
 number       = {1-2},
 pages        = {63--92},
 doi          = {10.1016/S0304-3975(00)00102-X},
)
@inproceedings(GafniA88,
 author       = {Eli Gafni and Yehuda Afek},
 year         = {1988},
 title        = {End-to-End Communication in Unreliable Networks},
 booktitle    = {Proceedings of the Seventh Annual {ACM} Symposium on Principles of Distributed Computing},
 pages        = {131--148},
 doi          = {10.1145/62546.62570},
)
@article(HalpernZ-little,
 author       = {Joseph Y. Halpern and Lenore D. Zuck},
 year         = {1992},
 title        = {A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols},
 journal      = {Journal of the {ACM}},
 volume       = {39},
 number       = {3},
 pages        = {449--478},
 doi          = {10.1145/146637.146638},
)
@inproceedings(Honda-reduction,
 author       = {Kohei Honda and Nobuko Yoshida},
 year         = {1993},
 title        = {On Reduction-Based Semantics},
 booktitle    = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1993)},
 pages        = {373--387},
 doi          = {10.1007/3-540-57529-4\_70},
)
@inproceedings(Janowski94,
 author       = {Tomasz Janowski},
 year         = {1994},
 title        = {Stepwise transformations for fault-tolerant design of {CCS} processes},
 booktitle    = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1} International Conference on Formal Description Techniques},
 pages        = {505--520},
)
@inproceedings(Janowski97,
 author       = {Tomasz Janowski},
 year         = {1997},
 title        = {On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance},
 booktitle    = {Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology ({AMAST} '97)},
 pages        = {292--306},
 doi          = {10.1007/BFb0000478},
)
@article(Krishnan,
 author       = {Padmanabhan Krishnan},
 year         = {1994},
 title        = {A Semantic Characterisation for Faults in Replicated Systems},
 journal      = {Theoretical Compututer Science},
 volume       = {128},
 number       = {1-2},
 pages        = {159--177},
 doi          = {10.1016/0304-3975(94)90168-6},
)
@article(LarsenM92,
 author       = {Kim Guldstrand Larsen and Robin Milner},
 year         = {1992},
 title        = {A Compositional Protocol Verification Using Relativized Bisimulation},
 journal      = {Information and Computation},
 volume       = {99},
 number       = {1},
 pages        = {80--108},
 doi          = {10.1016/0890-5401(92)90025-B},
)
@article(LiuJ92,
 author       = {Zhiming Liu and Mathai Joseph},
 year         = {1992},
 title        = {Transformation of Programs for Fault-Tolerance},
 journal      = {Formal Aspects of Computing},
 volume       = {4},
 number       = {5},
 pages        = {442--469},
 doi          = {10.1007/BF01211393},
)
@article(Milner-functions,
 author       = {Robin Milner},
 year         = {1992},
 title        = {Functions as Processes},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {2},
 number       = {2},
 pages        = {119--141},
 doi          = {10.1017/S0960129500001407},
)
@inproceedings(Milner-barbed,
 author       = {Robin Milner and Davide Sangiorgi},
 year         = {1992},
 title        = {Barbed Bisimulation},
 booktitle    = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming (ICALP '92)},
 publisher    = {Springer-Verlag},
 pages        = {685--695},
 doi          = {10.1007/3-540-55719-9\_114},
)
@article(Peled-compositional,
 author       = {Doron Peled and Mathai Joseph},
 year         = {1994},
 title        = {A Compositional Framework for Fault Tolerance by Specification Transformation},
 journal      = {Theoretical Computer Science},
 volume       = {128},
 number       = {1{\&}2},
 pages        = {99--125},
 doi          = {10.1016/0304-3975(94)90166-X},
)
@inproceedings(Riely-distributed,
 author       = {James Riely and Matthew Hennessy},
 year         = {1997},
 title        = {Distributed Processes and Location Failures (Extended Abstract)},
 booktitle    = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, (ICALP'97)},
 pages        = {471--481},
 doi          = {10.1007/3-540-63165-8\_203},
)
@article(Stenning,
 author       = {N. V. Stenning},
 year         = {1976},
 title        = {A data transfer protocol},
 journal      = {Computer Networks},
 volume       = {1},
 pages        = {99--110},
 doi          = {10.1016/0376-5075(76)90015-5},
)