BibTeX record conf/podc/MisraCS82

download as .bib file

@inproceedings{DBLP:conf/podc/MisraCS82,
  author       = {Jayadev Misra and
                  K. Mani Chandy and
                  Todd Smith},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Proving Safety and Liveness of Communicating Processes with Examples},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {201--208},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806698},
  doi          = {10.1145/800220.806698},
  timestamp    = {Tue, 06 Nov 2018 11:07:18 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MisraCS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics