A. Aldini and M. Bernardo, A General Approach to Deadlock Freedom Verification for Software Architectures, FME, vol.2805, pp.658-677, 2003.
DOI : 10.1007/978-3-540-45236-2_36

C. Paul and . Attie, Synthesis of large concurrent programs via pairwise composition, CONCUR'99, number 1664 in LNCS, 1999.

C. Paul, H. Attie, and . Chockler, Efficiently Verifiable Conditions for Deadlockfreedom of Large Concurrent Programs, VMCAI, France, 2005.

C. Paul, E. Attie, and . Emerson, Synthesis of Concurrent Systems with Many Similar Processes, TOPLAS, vol.20, issue.1, pp.51-115, 1998.

P. C. Attie, N. Francez, and O. Grumberg, Fairness and hyperfairness in multi-party interactions, Distributed Computing, vol.13, issue.8, pp.245-254, 1993.
DOI : 10.1007/BF02242712

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Realtime Components in BIP, In SEFM, pp.3-12, 2006.
DOI : 10.1109/sefm.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Bensalem, M. Bozga, T. H. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application, pp.181-193, 2010.
DOI : 10.1049/iet-sen.2009.0011
URL : https://hal.archives-ouvertes.fr/hal-00568866

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis et al., D-Finder 2: Towards Efficient Correctness of Incremental Design, NASA Formal Methods, pp.453-458, 2011.
DOI : 10.1109/MS.1985.230351
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.6953

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.209-218, 2010.
DOI : 10.1145/1879021.1879049
URL : https://hal.archives-ouvertes.fr/hal-00557792

M. Bozga, M. Jaber, N. Maris, and J. Sifakis, Modeling Dynamic Architectures Using Dy-BIP, Software Composition, pp.1-16, 2012.
DOI : 10.1007/978-3-642-30564-1_1
URL : https://hal.archives-ouvertes.fr/hal-00722481

S. D. Brookes and A. W. Roscoe, Deadlock analysis in networks of communicating processes, Distributed Computing, vol.75, issue.3, pp.209-230, 1991.
DOI : 10.1007/BF01784721

G. Gössler and J. Sifakis, Component-Based Construction of Deadlock-Free Systems, FSTTCS, pp.420-433, 2003.
DOI : 10.1007/978-3-540-24597-1_36

D. Heimbold and D. Luckham, Debugging Ada tasking programs. Software, IEEE, vol.2, issue.2, pp.47-57, 1985.
DOI : 10.1109/ms.1985.230351

M. Martens and M. Majster-cederbaum, Deadlock-freedom in component systems with architectural constraints. FMSD, pp.129-177, 2012.
DOI : 10.1007/s10703-012-0160-6

C. H. Papadimitriou, Computational complexity, 1994.