Formalization of Timely Dataflow's Progress Tracking Protocolby Matthias Brun, Sára Decova, Andrea Lattuada and Dmitriy Traytel13 Apr