Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce constraint automata and propose them as a semantic model for Reo.

Distributed Systems (acm C.2.4), Concurrent Programming (acm D.1.3), Miscellaneous (acm D.1.m), Language Classifications (acm D.3.2), Language Constructs and Features (acm D.3.3), Modes of Computation (acm F.1.2), LOGICS AND MEANINGS OF PROGRAMS (acm F.3)
Software (theme 1)
Software Engineering [SEN]
Computer Security

Arbab, F, Baier, C, Rutten, J.J.M.M, & Sirjani, M. (2003). Modeling component connectors in Reo by constraint automata. Software Engineering [SEN]. CWI.