Search
 
loader loading subjects...
cover
Unifying Models of Data Flow
Tony Hoare, John Wickerson
211 - 230
10.3233/978-1-60750-711-6-211
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 30: Software and Systems Safety
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart