A. J. Cowling

• Dataflow algebras as formal specifications of data flows