Causing communication closure: safe program composition with reliable non-FIFO channels.

Kai Engelhardt Yoram Moses

Published in: Distributed Comput. (2009)

Keyphrases

communication channels
communication systems
program execution
high quality
communication overhead
multi channel
data flow
communication networks
computer programs
communication protocols
sensor networks
cost effective
static analysis
share information