A general framework for architecture composability

Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis. A general framework for architecture composability. Formal Asp. Comput., 28(2):207-231, 2016. [doi]

Abstract

Abstract is missing.