Eventual Consistency

Programming Reactive Systems