@inproceedings{BS07d,
title = {Causal Semantics for the Algebra of Connectors },
author = {Bliudze, Simon and Sifakis, Joseph},
year = {2007},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures},
pages = {179-199},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5382},
team = {DCS, RSD},
}
