Convergent micro-pipelines: a versatile operator for mixed asynchronous-synchronous computations