Reasoning about Uncertainty in Fault-tolerant Distributed Systems

Michael J. Fischer, Lenore D. Zuck. Reasoning about Uncertainty in Fault-tolerant Distributed Systems. In Mathai Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Volume 331 of Lecture Notes in Computer Science, pages 142-158, Springer, 1988.

@inproceedings{FischerZ88,
  title = {Reasoning about Uncertainty in Fault-tolerant Distributed Systems},
  author = {Michael J. Fischer and Lenore D. Zuck},
  year = {1988},
  researchr = {https://researchr.org/publication/FischerZ88},
  cites = {0},
  citedby = {0},
  pages = {142-158},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988},
  editor = {Mathai Joseph},
  volume = {331},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-50302-1},
}