Causal semantics for the algebra of connectors

Simon Bliudze, Joseph Sifakis. Causal semantics for the algebra of connectors. Formal Methods in System Design, 36(2):167-194, 2010. [doi]

Abstract

Abstract is missing.