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