Composing heterogeneous reactive systems

elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specifications to loosely-synchronized implementations. The theory has an important application in the correct-byconstruction deployment of synchronous design on distributed architectures. Categories and Subject Descriptors: C.3.0 [Special-Purpose and Application-Based Systems]:

• Type: Journal
• Year: 2008
• Where: TECS
• Authors: Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
• Keywords: Design Transformations, Heterogeneous Models, Loosely-synchronized Implementations, TECS 2008