Formalization of Timely Dataflow's Progress Tracking Protocol by Matthias Brun, Sára Decova, Andrea Lattuada and Dmitriy Traytel Apr 13