A General Framework for Architecture Composability.

Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis

Browse the full SEFM paper archive.