Timely Dataflow: A Model

FORTE (2015), pp. 131-145

Abstract

This paper studies timely dataflow, a model for data-parallel
computing in which each communication event is associated with a virtual
time. It defines and investigates the could-result-in relation which
is central to this model, then the semantics of timely dataflow graphs.