A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (bibtex)
by Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder
Reference:
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithmsIgor V. Konnov, Marijana Lazic, Helmut Veith, Josef WidderProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pages 719-734, 2017.Note: A pre-print including the proofs is available at http://arxiv.org/abs/1608.05327
Bibtex Entry:
@inproceedings{KLVW17:POPL,
  author    = {Igor V. Konnov and
               Marijana Lazic and
               Helmut Veith and
               Josef Widder},
  title     = {A short counterexample property for safety and liveness verification
               of fault-tolerant distributed algorithms},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {719--734},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url = {http://forsyte.at/wp-content/uploads/popl17main-main116-p-9d29769-29971-final.pdf},
  note = {A pre-print including the proofs is available at \url{http://arxiv.org/abs/1608.05327}},
}
Powered by bibtexbrowser