Timely Dataflow: A Model

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19195-9_9 ◽

2015 ◽

pp. 131-145 ◽

Author(s):

Martín Abadi ◽

Michael Isard

Download Full-text