Models and temporal logics for timed component connectors

Abstract

The coordination language Reo supports compositional system construction through connectors with real-time properties that exogenously coordinate the interactions among the constituent components into a coherent collaboration. In this paper, we present an operational semantics for the channel-based component connectors of Reo in terms of Timed Constraint… (More)
DOI: 10.1109/SEFM.2004.27

Topics

7 Figures and Tables

Statistics

051015'05'07'09'11'13'15'17
Citations per Year

70 Citations

Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics