A basis for dataflow computing