Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten. Modeling component connectors in Reo by constraint automata. Science of Computer Programming, 61(2):75-113, 2006. [doi]

Abstract

Abstract is missing.