The algebra of connectors: structuring interaction in BIP

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]

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