Modeling component connectors in Reo by constraint automata (2006)

by C Baier, M Sirjani, F Arbab, J Rutten
Venue:Science of Computer Programming