A computational model for TensorFlow: an introduction
Timely Dataflow: A Model