E. Baranov and S. Bliudze, Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP, Science of Computer Programming, vol.109, pp.2-35, 2015.

E. Baranov and S. Bliudze, Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP, Acta Informatica, vol.57, issue.6, pp.829-829, 2019.

F. Barbanera, U. De'liguoro, and R. Hennicker, Global Types for Open Systems, Electronic Proceedings in Theoretical Computer Science, vol.279, pp.4-20, 2018.

F. Barbanera, U. De'liguoro, and R. Hennicker, Connecting open systems of communicating finite state machines, Journal of Logical and Algebraic Methods in Programming, vol.109, p.100476, 2019.

F. Barbanera, M. Dezani-ciancaglini, I. Lanese, and E. Tuosto, Composition and decomposition of multiparty sessions, Journal of Logical and Algebraic Methods in Programming, vol.119, p.100620, 2021.

F. Barbanera, I. Lanese, and E. Tuosto, Choreography Automata, Lecture Notes in Computer Science, pp.86-106, 2020.

S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, ACM SIGPLAN Notices, vol.47, issue.1, pp.191-202, 2012.

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis et al., D-Finder 2: Towards Efficient Correctness of Incremental Design, Lecture Notes in Computer Science, pp.453-458, 2011.

. Springer, Rachelle Springer Winter 2010, Plastic Surgical Nursing, vol.31, issue.1, pp.21-22, 2011.

S. Bliudze and J. Sifakis, The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00282866

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.

R. Bruni, A. Corradini, F. Gadducci, H. C. Melgratti, U. Montanari et al., Data-Driven Choreographies à la Klaim, Models, Languages, and Tools for Concurrent and Distributed Programming, vol.11665, pp.170-190, 2019.

. Springer, , 2019.

M. Carbone, F. Montesi, and C. Schürmann, Choreographies, logically, Distributed Computing, vol.31, issue.1, pp.51-67, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01090741

G. Cécé and A. Finkel, Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005.

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and L. Padovani, Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.26, issue.2, pp.238-302, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01486034

L. De-alfaro and T. A. Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.

M. G. Gouda and C. Chang, Proving liveness for networks of communicating finite state machines, ACM Transactions on Programming Languages and Systems, vol.8, issue.1, pp.154-180, 1986.

H. Hüttel, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone et al., Foundations of Session Types and Behavioural Contracts, ACM Computing Surveys, vol.49, issue.1, pp.1-36, 2016.

N. Kobayashi, A partially deadlock-free typed process calculus, ACM Transactions on Programming Languages and Systems, vol.20, issue.2, pp.436-482, 1998.

N. Kobayashi, Type-based information flow analysis for the ?-calculus, Acta Informatica, vol.42, issue.4-5, pp.291-347, 2005.

J. Lange, E. Tuosto, and N. Yoshida, From Communicating Machines to Graphical Choreographies, ACM SIGPLAN Notices, vol.50, issue.1, pp.221-232, 2015.

N. A. Lynch and M. R. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87, pp.137-151, 1987.

F. Montesi and N. Yoshida, Compositional Choreographies, CONCUR 2013 ? Concurrency Theory, vol.8052, pp.425-439, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909321

L. Padovani, V. T. Vasconcelos, and H. T. Vieira, Typing Liveness in Multiparty Communicating Systems, Lecture Notes in Computer Science, vol.8459, pp.147-162, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00960879

W. Peng and S. Purushothaman, Analysis of a class of communicating finite state machines, Acta Informatica, vol.29, issue.6-7, pp.499-522, 1992.

Z. Savanovi?, L. Galletta, and H. Torres-vieira, A type language for message passing component-based systems, Electronic Proceedings in Theoretical Computer Science, vol.324, pp.3-24, 2020.

M. Beek and J. Kleijn, Team automata satisfying compositionality, FME 2003: Formal Methods, pp.381-400, 2003.

E. Tuosto and R. Guanciale, Semantics of global view of choreographies, Journal of Logical and Algebraic Methods in Programming, vol.95, pp.17-40, 2018.