"Automated Mapping of Reo Circuits to Constraint Automata."

Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics