M. Carbone and F. Montesi, Deadlock-Freedom-by-Design: Multiparty Asynchronous Global Programming, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

D. Castro, V. M. Gulías, C. B. Earle, L. Fredlund, and S. Rivas, A Case Study on Verifying a Supervisor Component Using McErlang, Electronic Notes in Theoretical Computer Science, vol.271, 2011.
DOI : 10.1016/j.entcs.2011.02.009

H. Evrard, Génération automatique d'implémentation distribuéè a partir de modèles formels de processus concurrents asynchrones, 2015.

H. Evrard and F. Lang, Formal Verification of Distributed Branching Multiway Synchronization Protocols, LNCS, vol.7892, 2013.
DOI : 10.1007/978-3-642-38592-6_11
URL : https://hal.archives-ouvertes.fr/hal-00818788

H. Evrard and F. Lang, Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2015.
DOI : 10.1109/PDP.2015.96
URL : https://hal.archives-ouvertes.fr/hal-01086522

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, 2013.
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel and M. Sighireanu, A Graphical Parallel Composition Operator for Process Algebras, IFIP, vol.99, 1999.
DOI : 10.1007/978-0-387-35578-8_11

H. Garavel, C. Viho, and M. Zendri, System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation, STTT, vol.3, issue.3, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

J. Proenca, D. Clarke, E. De-vink, and F. Arbab, Dreams, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, 2012.
DOI : 10.1145/2245276.2232017

J. Quilbeuf, Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01168470