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]

Possibly Related Publications

The following publications are possibly variants of this publication: