Jump to Content

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.