Reactive Data Flow Stream Input S: Stream Output S: Stream