@article{BS10,
title = {Causal semantics for the algebra of connectors },
author = {Bliudze, Simon and Sifakis, Joseph},
year = {2010},
journal = {Formal Methods in System Design},
number = {2},
pages = {167-194},
volume = {36},
team = {DCS, RSD},
}
