P. A. Abdulla, A. Bouajjani, and B. Jonsson, On-the-fly analysis of systems with unbounded, lossy FIFO channels, Proc. CAV'98, pp.305-318, 1998.
DOI : 10.1007/BFb0028754

S. Basu and T. Bultan, Automatic verification of interactions in asynchronous systems with unbounded buffers, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.743-754, 2014.
DOI : 10.1145/2642937.2643016

S. Basu, T. Bultan, and M. Ouederni, Deciding Choreography Realizability, Proc. of POPL'12, pp.191-202, 2012.

A. Bennaceur, C. Chilton, M. Isberner, and B. Jonsson, Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning, Proc. of SEFM'13, pp.274-288, 2013.
DOI : 10.1007/978-3-642-40561-7_19

URL : https://hal.archives-ouvertes.fr/hal-00838788

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

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005.
DOI : 10.1016/j.jss.2003.05.007

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

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proc. of ICSOC'06, pp.27-39, 2006.
DOI : 10.1007/11948148_3

T. Bultan, C. Ferguson, and X. Fu, A Tool for Choreography Analysis Using Collaboration Diagrams, 2009 IEEE International Conference on Web Services, pp.856-863, 2009.
DOI : 10.1109/ICWS.2009.100

J. Cámara, J. A. Martín, G. Salaün, C. Canal, and E. Pimentel, Semi-Automatic Specification of Behavioural Service Adaptation Contracts, Electronic Notes in Theoretical Computer Science, vol.264, issue.1, pp.19-34, 2010.
DOI : 10.1016/j.entcs.2010.07.003

C. Canal, P. Poizat, and G. Salaün, Synchronizing Behavioural Mismatch in Software Composition, Proc. of FMOODS'06, pp.63-77, 2006.
DOI : 10.1145/244795.244801

URL : https://hal.archives-ouvertes.fr/hal-00342017

C. Canal, P. Poizat, and G. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
DOI : 10.1109/TSE.2008.31

G. Cécé and A. Finkel, Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005.
DOI : 10.1016/j.ic.2005.05.006

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, pp.39-55, 2007.
DOI : 10.1016/j.entcs.2008.06.020

P. Darondeau, B. Genest, P. S. Thiagarajan, and S. Yang, Quasi-static scheduling of communicating tasks, Information and Computation, vol.208, issue.10, pp.1154-1168, 2010.
DOI : 10.1016/j.ic.2009.09.005

URL : https://hal.archives-ouvertes.fr/hal-00591759

P. Deniélou and N. Yoshida, Buffered Communication Analysis in Distributed Multiparty Sessions, Proc. CONCUR'10, pp.343-357, 2010.
DOI : 10.1007/978-3-642-15375-4_24

P. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, Proc. of ESOP'12, pp.194-213, 2012.
DOI : 10.1007/978-3-642-28869-2_10

A. Finkel and P. Mckenzie, Verifying identical communicating processes is undecidable, Theoretical Computer Science, vol.174, issue.1-2, pp.217-230, 1997.
DOI : 10.1016/S0304-3975(96)00026-6

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

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

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.
DOI : 10.1016/j.tcs.2004.07.004

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, pp.372-387, 2011.
DOI : 10.1007/BFb0054166

URL : https://hal.archives-ouvertes.fr/inria-00583776

B. Genest, A. Muscholl, H. Seidl, and M. Zeitoun, Infinite-state high-level MSCs: Model-checking and realizability, Journal of Computer and System Sciences, vol.72, issue.4, pp.617-647, 2006.
DOI : 10.1016/j.jcss.2005.09.007

URL : https://hal.archives-ouvertes.fr/hal-00306255

C. Gierds, A. J. Mooij, and K. Wolf, Reducing Adapter Synthesis to Controller Synthesis, IEEE Transactions on Services Computing, vol.5, issue.1, pp.72-85, 2012.
DOI : 10.1109/TSC.2010.57

G. Gössler and G. Salaün, Realizability of Choreographies for Services Interacting Asynchronously, Proc. of FACS'11, pp.151-167, 2011.
DOI : 10.1007/978-3-642-35743-5_10

M. G. Gouda, E. G. Manning, and Y. Yu, On the progress of communication between two finite state machines, Information and Control, vol.63, issue.3, pp.200-216, 1984.
DOI : 10.1016/S0019-9958(84)80014-5

M. Güdemann, G. Salaün, and M. Ouederni, Counterexample Guided Synthesis of Monitors for Realizability Enforcement, Proc. of ATVA'12, pp.238-253, 2012.
DOI : 10.1007/978-3-642-33386-6_20

T. Jéron and C. Jard, Testing for unboundedness of fifo channels, Theoretical Computer Science, vol.113, issue.1, pp.93-117, 1993.
DOI : 10.1016/0304-3975(93)90212-C

S. Leue, R. Mayr, and W. Wei, A Scalable Incomplete Test for Message Buffer Overflow in Promela Models, Proc. SPIN'04, pp.216-233, 2004.
DOI : 10.1007/978-3-540-24732-6_16

S. Leue, A. Stefanescu, and W. Wei, Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes, Proc. of SPIN'08, pp.176-195, 2008.
DOI : 10.1007/978-3-540-85114-1_14

J. A. Martín and E. Pimentel, Contracts for security adaptation, The Journal of Logic and Algebraic Programming, vol.80, issue.3-5, pp.154-179, 2011.
DOI : 10.1016/j.jlap.2010.07.001

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, pp.84-99, 2008.
DOI : 10.1109/TSE.2011.62

URL : https://hal.archives-ouvertes.fr/inria-00341598

R. D. Nicola and F. W. Vaandrager, Action versus state based logics for transition systems, Semantics of Concurrency, pp.407-419, 1990.
DOI : 10.1007/3-540-53479-2_17

M. Ouederni, G. Salaün, and T. Bultan, Compatibility Checking for Asynchronously Communicating Software, Proc. of FACS'13, pp.310-328, 2013.
DOI : 10.1007/978-3-319-07602-7_19

URL : https://hal.archives-ouvertes.fr/hal-00913665

P. Poizat and G. Salaün, Adaptation of Open Component-Based Systems, Proc. of FMOODS'07, pp.141-156, 2007.
DOI : 10.1145/244795.244801

URL : https://hal.archives-ouvertes.fr/hal-00342160

R. Milner, Communication and Concurrency, 1989.

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.

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.
DOI : 10.1109/TSC.2011.9

R. Seguel, R. Eshuis, and P. W. Grefen, Generating Minimal Protocol Adaptors for Loosely Coupled Services, 2010 IEEE International Conference on Web Services, pp.417-424, 2010.
DOI : 10.1109/ICWS.2010.14

W. M. Van-der-aalst, A. J. Mooij, C. Stahl, and K. Wolf, Service Interaction: Patterns, Formalization, and Analysis, Proc. of SFM'09, pp.42-88, 2009.
DOI : 10.1007/978-3-642-01918-0_2

R. J. Van-glabbeek and W. P. Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996.
DOI : 10.1145/233551.233556