|Abstract of Paper|
A Compositional Model for Confluent Dynamic Data-flow Networks
by Frank S. de Boer and Marcello M. Bonsangue
We introduce a state-based programming language for describing the behavior of dynamically changing networks of asynchronously communicating processes. For this language we introduce an operational semantics and a notion of observable which includes both partial correctness and absence of deadlock. Our main result is a compositional characterization of this notion of observable for a confluent sublanguage. This restriction to a confluent sublanguage allows to abstract in the semantic model from the order between the communications of different processes and the order between the communications on different channels within a process.