High-availability algorithms for distributed stream processing
Scalable Distributed Stream Processing