Unifying Models of Data Flow

We propose a model of computation, based on data flow, that uni fies several disparate programming phenomena, including local and shared variables, synchronised and buffered communication, reliable and unr eliable channels, dynamic and static allocation, explicit and garbage-collect ed disposal, fine-grained and coarse-grained concurrency, and weakly and strongly co nsistent memory.