@inproceedings{BrunDLT-ITP21,
  author    = {Matthias Brun and S\'ara Decova and Andrea Lattuada and
               Dmitriy Traytel},
  editor    = {Liron Cohen and Cezary Kaliszyk},
  title     = {Verified Progress Tracking for Timely Dataflow},
  booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
               2021},
  series    = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  note      = {To appear},
  url       = {https://traytel.bitbucket.io/papers/itp21-progress_tracking/safe.pdf}
}

@inproceedings{DBLP:conf/forte/AbadiMMR13,
  author    = {Mart{\'{\i}}n Abadi and
               Frank McSherry and
               Derek Gordon Murray and
               Thomas L. Rodeheffer},
  editor    = {Dirk Beyer and
               Michele Boreale},
  title     = {Formal Analysis of a Distributed Algorithm for Tracking Progress},
  booktitle = {{FMOODS/FORTE} 2013},
  series    = {LNCS},
  volume    = {7892},
  pages     = {5--19},
  publisher = {Springer},
  year      = {2013},
  doi       = {10.1007/978-3-642-38592-6_2},
}

@inproceedings{DBLP:conf/sosp/MurrayMIIBA13,
    author    = {Derek Gordon Murray and
    Frank McSherry and
    Rebecca Isaacs and
    Michael Isard and
    Paul Barham and
    Mart{\'{\i}}n Abadi},
    editor    = {Michael Kaminsky and
    Mike Dahlin},
    title     = {Naiad: a timely dataflow system},
    booktitle = {{SOSP} 2013},
    pages     = {439--455},
    publisher = {{ACM}},
    year      = {2013},
    doi       = {10.1145/2517349.2522738},
}

@misc{URL:timely-dataflow,
    title = {GitHub: Timely Dataflow},
    url = {https://github.com/TimelyDataflow/timely-dataflow/},
}