On Resource-Sensitive Timed Component Connectors


In this paper we introduce a formal model for reasoning about resource sensitive timed component connectors. We extended the constraint automata model, which is used as the semantic model for the exogenous channelbased coordination language Reo, through integrating both resource and time information. This model allows to specify both the interactions that… (More)
DOI: 10.1007/978-3-540-72952-5_19


8 Figures and Tables