Timely Dataflow: A Model

   Abstract