Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) (2004)

by Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani