Defining the execution semantics of stream processing engines
MillWheel: Fault-Tolerant Stream Processing at Internet Scale