Synchronous Reactive Communication: Generalization, Implementation, And Optimization. door Guoqiang Wang