Andrea Lattuada

Formalization of Timely Dataflow's Progress Tracking Protocol

by Matthias Brun, Sára Decova, Andrea Lattuada 🌐 and Dmitriy Traytel 🌐