Farhad Arbab Reo: a channel-based coordination model for component composition. 329-366 2004 14 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129504004153 db/journals/mscs/mscs14.html#Arbab04