Automated Mapping of Reo Circuits to Constraint Automata

Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani. Automated Mapping of Reo Circuits to Constraint Automata. Electronic Notes in Theoretical Computer Science, 159:99-115, 2006. [doi]

Abstract

Abstract is missing.