Hierarchical Correctness Proofs for Distributed Algorithms - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Nancy A. Lynch, Mark R. Tuttle. Hierarchical Correctness Proofs for Distributed Algorithms. In PODC. pages 137-151, 1987.

@inproceedings{LynchT87,
  title = {Hierarchical Correctness Proofs for Distributed Algorithms},
  author = {Nancy A. Lynch and Mark R. Tuttle},
  year = {1987},
  researchr = {https://researchr.org/publication/LynchT87},
  cites = {0},
  citedby = {0},
  pages = {137-151},
  booktitle = {PODC},
}

runs on WebDSL