@inproceedings{DBLP:conf/icdcs/SinhaS01,
  author    = {Purnendu Sinha and
               Neeraj Suri},
  title     = {Modular Composition of Redundancy Management Protocols in Distributed
               Systems: An Outlook on Simplifying Protocol Level Formal Specification
               {\&} Verification},
  booktitle = {Proceedings of the 21st International Conference on Distributed Computing
               Systems {(ICDCS} 2001), Phoenix, Arizona, USA, April 16-19, 2001},
  pages     = {255--263},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://doi.org/10.1109/ICDSC.2001.918955},
  doi       = {10.1109/ICDSC.2001.918955},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icdcs/SinhaS01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}