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

S. Basu and T. Bultan, Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers, Proc. of ASE'14, pp.743-754, 2014.

L. Akroun, G. Salaün, and L. Ye, Automated Analysis of Asynchronously Communicating Systems, Proc. of SPIN'16, vol.9641, pp.1-18, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01280164

F. Barbanera, S. Van-bakel, and U. De'liguoro, Orchestrated Session Compliance, J. Log. Algebr. Meth. Program, vol.86, issue.1, pp.30-76, 2017.

R. Beauxis, C. Palamidessi, and F. D. Valencia, On the Asynchronous Nature of the Asynchronous pi-Calculus, Concurrency, Graphs and Models, vol.5065, pp.473-492, 2008.

H. Garavel and D. Thivolle, Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, Proc. of SPIN'09, vol.5578, pp.241-260, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00388819

A. P. Ravn, J. Srba, and S. Vighio, Modelling and Verification of Web Services Business Activity Protocol, Proc. of TACAS'11, vol.6605, pp.357-371, 2011.

L. Clemente, F. Herbreteau, and G. Sutre, Decidable Topologies for Communicating Automata with FIFO and Bag Channels, Proc. of CONCUR'14, vol.8704, pp.281-296, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01023456

R. Milner, , 1989.

R. J. Van-glabbeek, The Linear Time-Branching Time Spectrum I, Handbook of Process Algebra, pp.3-99, 2001.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, vol.6605, pp.372-387, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00583776

R. D. Nicola and F. W. Vaandrager, Action versus State Based Logics for Transition Systems, Semantics of Concurrency, vol.469, pp.407-419, 1990.

P. Jancar, J. Esparza, and F. Moller, Petri Nets and Regular Processes, J. Comput. Syst. Sci, vol.59, issue.3, pp.476-503, 1999.

A. Finkel and P. Mckenzie, Verifying Identical Communicating Processes is Undecidable, Theor. Comput. Sci, vol.174, issue.1-2, pp.217-230, 1997.

W. Fokkink, Introduction to Process Algebra, Texts in Theoretical Computer Science. An EATCS Series, 2000.

T. Jéron and C. Jard, Testing for Unboundedness of FIFO Channels, Theor. Comput. Sci, vol.113, issue.1, pp.93-117, 1993.

M. Ouederni, G. Salaün, and T. Bultan, Compatibility Checking for Asynchronously Communicating Software, vol.8348, pp.310-328, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00913665

S. Leue, R. Mayr, and W. Wei, A Scalable Incomplete Test for Message Buffer Overflow in Promela Models, Proc. SPIN'04, vol.2989, pp.216-233, 2004.

S. Leue, A. Stefanescu, and W. Wei, Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes, Proc. of SPIN'08, vol.5156, pp.176-195, 2008.

X. Fu, T. Bultan, and J. Su, Proc. of WWW'04, pp.621-630, 2004.

P. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, vol.7211, pp.194-213, 2012.

X. Fu, T. Bultan, and J. Su, Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004.

A. Bracciali, A. Brogi, and C. Canal, A Formal Approach to Component Adaptation, Journal of Software Systems, vol.74, issue.1, pp.45-54, 2005.

C. Canal, P. Poizat, and G. Salaün, Synchronizing Behavioural Mismatch in Software Composition, vol.4037, pp.63-77, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342017

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proc. of ICSOC'06, vol.4294, pp.27-39, 2006.

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS'07, vol.215, pp.39-55, 2007.

C. Canal, P. Poizat, and G. Salaün, Model-Based Adaptation of Behavioural Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340122

J. Cámara, J. A. Martín, G. Salaün, C. Canal, and E. Pimentel, Semi-Automatic Specification of Behavioural Service Adaptation Contracts, Electr. Notes Theor. Comput. Sci, vol.264, issue.1, pp.19-34, 2010.

W. M. Van-der-aalst, A. J. Mooij, C. Stahl, and K. Wolf, Service Interaction: Patterns, Formalization, and Analysis, vol.5569, pp.42-88, 2009.

R. Seguel, R. Eshuis, and P. W. Grefen, Generating Minimal Protocol Adaptors for Loosely Coupled Services, Proc. of ICWS'10, pp.417-424, 2010.

C. Gierds, A. J. Mooij, and K. Wolf, Reducing Adapter Synthesis to Controller Synthesis, IEEE T. Services Computing, vol.5, issue.1, pp.72-85, 2012.

A. Bennaceur, C. Chilton, M. Isberner, and B. Jonsson, Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning, Proc. of SEFM'13, vol.8137, pp.274-288, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00838788

G. Salaün, T. Bultan, and N. Roohi, Realizability of Choreographies Using Process Algebra Encodings, IEEE Transactions on Services Computing, vol.5, issue.3, pp.290-304, 2012.

T. Bultan, C. Ferguson, and X. Fu, A Tool for Choreography Analysis Using Collaboration Diagrams, Proc. of ICWS'09, pp.856-863, 2009.

G. Gössler and G. Salaün, Proc. of FACS'11, vol.7253, pp.151-167, 2011.

M. Güdemann, G. Salaün, and M. Ouederni, Counterexample Guided Synthesis of Monitors for Realizability Enforcement, Proc. of ATVA'12, vol.7561, pp.238-253, 2012.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and Reasoning on Web Services using Process Algebra, Proc. of ICWS'04, pp.43-50, 2004.

P. Poizat and G. Salaün, Adaptation of Open Component-based Systems, Proc. of FMOODS'07, vol.4468, pp.141-156, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00342160

J. A. Martín and E. Pimentel, Contracts for Security Adaptation, J. Log. Algebr. Program, vol.80, issue.3-5, pp.154-179, 2011.

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, Proc. of ICSOC'08, vol.5364, pp.84-99, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00717252

M. G. Gouda, E. G. Manning, and Y. Yu, On the Progress of Communications between Two Finite State Machines, Information and Control, vol.63, issue.3, pp.200-216, 1984.

P. A. Abdulla, A. Bouajjani, and B. Jonsson, On-the-Fly Analysis of Systems with Unbounded, Proc. CAV'98, vol.1427, pp.305-318, 1998.

G. Cécé and A. Finkel, Verification of Programs with Half-duplex Communication, Inf. Comput, vol.202, issue.2, pp.166-190, 2005.

B. Genest, A. Muscholl, H. Seidl, and M. Zeitoun, Infinite-state High-level MSCs: Modelchecking and Realizability, J. Comput. Syst. Sci, vol.72, issue.4, pp.617-647, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00306255

P. Darondeau, B. Genest, P. S. Thiagarajan, and S. Yang, Quasi-static Scheduling of Communicating Tasks, Inf. Comput, vol.208, issue.10, pp.1154-1168, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00591759

P. Deniélou and N. Yoshida, Buffered Communication Analysis in Distributed Multiparty Sessions, Proc. CONCUR'10, vol.6269, pp.343-357, 2010.

A. Bouajjani and M. Emmi, Bounded Phase Analysis of Message-Passing Programs, Proc. of TACAS'12, vol.7214, pp.451-465, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00653085

C. Canal and G. Salaün, Stability-Based Adaptation of Asynchronously Communicating Software, Proc. of SEFM'16, vol.9763, pp.321-336, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01359044