Simon Bliudze, Joseph Sifakis. The algebra of connectors: structuring interaction in BIP. In Christoph M. Kirsch, Reinhard Wilhelm, editors, Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. pages 11-20, ACM, 2007. [doi]
Abstract is missing.