Handling Shared, Mutable State in Stream Processing with Correctness Guarantees. - Nesime Tatbul; Stan Zdonik; John Meehan; Cansu Aslantas; Michael Stonebraker; Kristin Tufte; Chris Giossi; Hong Quach (IEEE Data Eng. Bull., 2015)