The algebra of connectors: structuring interaction in BIP.

Simon Bliudze, Joseph Sifakis

Browse the full EMSOFT paper archive.