Network algebra for synchronous and asynchronous dataflow door J.A. Bergstra