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://dl.acm.org/citation.cfm?id=3009860},
  timestamp = {Wed, 28 Dec 2016 13:22:29 +0100},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/popl/KonnovLVW17},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  note = {A pre-print including the proofs is available at \url{http://arxiv.org/abs/1608.05327}},
}
Powered by bibtexbrowser