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]

Authors

Simon Bliudze

This author has not been identified. Look up 'Simon Bliudze' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google