% cj98-04--done

@Article{cj98-04-01,
  author =       "A. Arora and S.~S. Kulkarni",
  title =        "Component-Based Design of Multitolerance",
  journal =      "IEEE Transactions on Software Engineering",
  year =         "1998",
  volume =       "24",
  number =       "1",
  month =        jan,
  pages =        "63--78",
}

@Article{cj98-04-02,
  author =       "A. Arora and M. G.~Gouda",
  title =        "Distributed reset",
  journal =      "IEEE Transactions on Computers",
  year =         "1994",
  volume =       "43",
  number =       "9",
  pages =        "1026--1038",
}

@InProceedings{cj98-04-03,
  author =       "M. Jayaram and G. Varghese",
  title =        "Crash failures can drive protocols to arbitrary
                 states",
  booktitle =      "ACM Symposium on Principles of Distributed Computing",
  year =         "1996",
  publisher =    "ACM",
  address =      "New York",
}

@PhdThesis{cj98-04-04,
  author =       "G. Tel",
  title =        "Structure of distributed algorithms",
  school =       "University of Utrecht; also published by Cambridge
                 University Press",
  year =         "1989",
}

@InProceedings{cj98-04-05,
  author =       "Y. Afek and E. Gafni",
  title =        "Bootstrap Network Resynchronization",
  booktitle =      "Proceedings of the 10th ACM Symposium on Principles of
                 Distributed Computing",
  year =         "1991",
  pages =        "295--307",
   publisher =    "ACM",
  address =      "New York",
}

@PhdThesis{cj98-04-06,
  author =       "G. Varghese",
  title =        "Self-stabilization by local checking and correction",
  school =       "Massachusetts Institute of Technology; also Technical Report LCS-TR-583",
  year =         "1993",
  address =      "Cambridge, MA",
}

@InProceedings{cj98-04-07,
  author =       "B. Awerbuch and B. Patt-Shamir and G. Varghese",
  title =        "Self-stabilization by local checking and correction",
  booktitle =      "FOCS91: Proceedings of the 31st Annual IEEE Symposium
                 on Foundations of Computer Science",
  year =         "1991",
  pages =        "268--277",
  publisher =    "IEEE",
  address =      "Los Alamitos, CA",
}

@InProceedings{cj98-04-08,
  author =       "B. Awerbuch and B. Patt-Shamir and G. Varghese and S.
                 Dolev",
  title =        "Self-stabilizing by local checking and global reset",
  booktitle =      "WDAG94: Distributed Algorithms 8th International
                 Workshop Proceedings",
  volume =       857,
  series =       "Lecture Notes in Computer Science",
  year =         "1994",
  pages =        "326--339",
  publisher =    "Springer-Verlag",
  address =      "Berlin",
}

@InProceedings{cj98-04-09,
  author =       "B. Awerbuch and R. Ostrovsky",
  title =        "Memory-efficient and self-stabilizing network reset",
  booktitle =      "PODC94: Proceedings of the 13th Annual ACM
                 Symposium on Principles of Distributed Computing",
  year =         "1994",
  pages =        "254--263",
     publisher =    "ACM",
  address =      "New York",
}

@InProceedings{cj98-04-10,
  author =       "E. Anagnostou and V. Hadzilacos",
  title =        "Tolerating Transient and Permanent Failures",
  booktitle =      "WDAG93: Distributed Algorithms 7th International
                 Workshop Proceedings", 
  volume =       725,
  series =       "Lecture Notes in Computer Science",
  year =         "1993",
  pages =        "174--188",
  publisher =    "Springer-Verlag",
  address =      "Berlin",
}

@article{cj98-04-11,
  author={Shlomi Dolev and Ted Herman},
  title={Superstabilizing Protocols for Dynamic Distributed Systems},
  journal={Chicago Journal of Theoretical Computer Science},
  volume={1997},
  number={4},
  publisher={MIT Press},
  month={December},
  year={1997}
}

@Article{cj98-04-12,
  author =       "S. Tsang and E. Magill",
  title =        "Detecting Feature Interactions in the Intelligent
                 Network",
  journal =      "Feature Interactions in Telecommunications Systems II",
  year =         "1994",
  publisher =    "IOS Press",
  address =      "Amsterdam"
}

@Article{cj98-04-13,
  author =       "A. Arora and M. G. Gouda",
  title =        "Closure and convergence: {A} foundation of
                 fault-tolerant computing",
  journal =      "IEEE Transactions on Software Engineering",
  year =         "1993",
  volume =       "19",
  number =       "11",
  pages =        "1015--1027",
}

@Book{cj98-04-14,
  author =       "E. W. Dijkstra",
  title =        "A Discipline of Programming",
  publisher =    "Prentice-Hall",
  address =      "Englewood Cliffs, NJ",
  year =         "1976",
}

@Book{cj98-04-15,
  author =       "D. Gries",
  title =        "The Science of Programming",
  publisher =    "Springer-Verlag",
  address =      "Berlin",
  year =         "1981",
}

@InProceedings{cj98-04-16,
  author =       "B. Alpern and F.~B. Schneider",
  title =        "Proving {B}oolean combinations of deterministic
                 properties",
  booktitle =      "Proceedings of the Second Symposium on Logic in
                 Computer Science",
  publisher =    "IEEE Computer Society",
  address =      "Ithaca, NY",
  year =         "1987",
  pages =        "131--137",
}

@InProceedings{cj98-04-17,
  author =       "A. Arora",
  title =        "Efficient reconfiguration of trees: {A} case study in
                 the methodical design of nonmasking fault-tolerance",
  booktitle =      "Proceedings of the Third International Symposium on
                 Formal Techniques in Real Time and Fault-Tolerance",
  year =         "1994",
  pages =        "110--127",
  note =         "{Also to appear in \em Science of Computer Programming}",
}

@Article{cj98-04-18,
  author =       "A. Arora and S. S. Kulkarni",
  title =        "Designing masking fault-tolerance via nonmasking
                 fault-tolerance",
  journal =      "IEEE Transactions on Software Engineering",
  year =         "1998",
  volume =       24,
  number =        6,
  month =       jun
}

@Article{cj98-04-19,
  author =       "M. G. Gouda and N. Multari",
  title =        "Stabilizing communication protocols",
  journal =      "IEEE Transactions on Computers",
  year =         "1991",
  volume =       "40",
  number =       "4",
  pages =        "448--458",
}