Unifying Models of Data Flow
Hoare Tony, Wickerson John · NATO science for peace and security series. D, Information and communication security · 2011
We propose a model of computation, based on data flow, that unifies several disparate programming phenomena, including local and shared variables, synchronised and buffered communication, reliable and unreliable channels, dynamic and static allocation, explicit and garbage-collected disposal, fine-grained and coarse-grained concurrency, and weakly and strongly consistent memory.