Defining the execution semantics of stream processing engines
The Design of the Borealis Stream Processing Engine