Synchronization Modeling in Stream Processing. | AMiner