On Resource-Sensitive Timed Component Connectors

Abstract

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

Topics

8 Figures and Tables