F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

C. Baier, M. Sirjani, F. Arbab, and J. Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.75-113, 2006.
DOI : 10.1016/j.scico.2005.10.008

D. Clarke, D. Costa, and F. Arbab, Connector colouring I: Synchronisation and context dependency, Science of Computer Programming, vol.66, issue.3, pp.205-225, 2007.
DOI : 10.1016/j.scico.2007.01.009
URL : http://doi.org/10.1016/j.scico.2007.01.009

B. Pourvatan, M. Sirjani, F. Arbab, and M. Bonsangue, Decomposition of Constraint Automata, Proceedings of the 7th International Workshop on Formal Aspects of Component Software, 2010.
DOI : 10.1007/978-3-642-02979-0_6

D. Costa, Formal Models for Component Connectors, 2010.

S. S. Jongmans, C. Krause, and F. Arbab, Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models, 2011.
DOI : 10.1007/978-3-540-68265-3_11
URL : https://hal.archives-ouvertes.fr/hal-01582996

C. Baier, T. Blechmann, J. Klein, and S. Klüppelholz, Formal verification for components and connectors Formal Methods for Components and Objects, LNCS, vol.5751, pp.82-101, 2009.
DOI : 10.1007/978-3-642-04167-9_5

F. Arbab and J. Rutten, A Coinductive Calculus of Component Connectors, Recent Trends in Algebraic Development Techniques. Volume 2755 of LNCS, pp.34-55, 2003.
DOI : 10.2140/pjm.1955.5.285

M. M. Bonsangue, D. Clarke, and A. Silva, Automata for context-dependent connectors Coordination Models and Languages, LNCS, vol.5521, pp.184-203, 2009.
DOI : 10.1007/978-3-642-02053-7_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.656.392

N. Kokash, C. Krause, and E. P. De-vink, Verification of context-dependent channelbased service models Formal Methods for Components and Objects, LNCS, vol.6286, pp.21-40, 2010.

S. Kemper, SAT-based verification for timed component connectors, ENTCS, vol.255, pp.103-118, 2009.
DOI : 10.1016/j.entcs.2009.10.027
URL : http://doi.org/10.1016/j.entcs.2009.10.027

M. R. Mousavi, M. Sirjani, and F. Arbab, Formal Semantics and Analysis of Component Connectors in Reo, Electronic Notes in Theoretical Computer Science, vol.154, issue.1, pp.83-99, 2006.
DOI : 10.1016/j.entcs.2005.12.034

R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, and H. Iravanchi, Modeling and analysis of Reo connectors using Alloy Coordination Models and Languages, LNCS, vol.5052, pp.169-183, 2008.
DOI : 10.1007/978-3-540-68265-3_11