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

F. Arbab, Puff, The Magic Protocol, LNCS, vol.7000, pp.169-206, 2011.
DOI : 10.1007/978-3-642-24933-4_9

S. S. Jongmans and F. Arbab, Modularizing and Specifying Protocols among Threads, Proceedings of PLACES 2012, pp.34-45, 2013.
DOI : 10.4204/EPTCS.109.6

S. S. Jongmans and F. Arbab, Overview of Thirty Semantic Formalisms for Reo, Scientific Annals of Computer Science, vol.22, issue.1, pp.201-251, 2012.
DOI : 10.7561/SACS.2012.1.201

N. Kokash, C. Krause, and E. De-vink, Reo+mCRL2: A framework for modelchecking dataflow in service compositions, FAC, vol.24, issue.2, pp.187-216, 2012.

S. S. Jongmans, S. Halle, and F. Arbab, Reo: A Dataflow Inspired Language for Multicore, 2013 Data-Flow Execution Models for Extreme Scale Computing, 2013.
DOI : 10.1109/DFM.2013.14

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

S. Halle, A Study of Frameworks for Collectively Meeting the Productivity, Portability , and Adoptability Goals for Parallel Software, 2011.

S. Halle and A. Cohen, A Mutable Hardware Abstraction to Replace Threads, Proceedings of LCPC 2011, pp.185-202, 2013.
DOI : 10.1007/978-3-642-36036-7_13
URL : https://hal.archives-ouvertes.fr/hal-00645220

D. Butenhof, Programming with POSIX Threads, 1997.

S. S. Jongmans, S. Halle, and F. Arbab, Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms, CWI, 2014.
DOI : 10.1007/978-3-662-43376-8_5
URL : https://hal.archives-ouvertes.fr/hal-01290068

M. Sirjani, M. M. Jaghoori, C. Baier, and F. Arbab, Compositional Semantics of an Actor-Based Language Using Constraint Automata, Proceedings of COORDI- NATION, pp.281-297, 2006.
DOI : 10.1007/11767954_18

A. Bretto, Hypergraph Theory: An Introduction, 2013.
DOI : 10.1007/978-3-319-00080-0
URL : https://hal.archives-ouvertes.fr/hal-01024351

T. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

M. Bonsangue, D. Clarke, and A. Silva, A model of context-dependent component connectors, Science of Computer Programming, vol.77, issue.6, pp.685-706, 2009.
DOI : 10.1016/j.scico.2011.01.006

N. Kokash, F. Arbab, B. Changizi, and L. Makhnist, Input-output Conformance Testing for Channel-based Service Connectors, Proceedings of PACO 2011, pp.19-35, 2011.
DOI : 10.4204/EPTCS.60.2