We introduce a state-based language for programming dynamically changing networks which consist of processes that communicate asynchronously. 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 sub-language.

, , , ,
, , , ,
CWI
Software Engineering [SEN]

de Boer, F.S, & Bonsangue, M.M. (2000). A compositional model for confluent dynamic data-flow networks. Software Engineering [SEN]. CWI.