Modeling component connectors in Reo by constraint automata

F. Arbab, C. Baier, J.J.M.M. Rutten, M. Sirjani

Research output: Contribution to JournalArticleAcademicpeer-review


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. © 2004 Elsevier B.V. All rights reserved.
Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 2003

Bibliographical note

Proceedings title: Proceedings of FOCLASA 2003
Publisher: Elsevier


Dive into the research topics of 'Modeling component connectors in Reo by constraint automata'. Together they form a unique fingerprint.

Cite this