Abstract of Paper

A Compositional Model for Confluent Dynamic Data-flow Networks
by Frank S. de Boer and Marcello M. Bonsangue

Abstract:

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.