S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp.191-202, 2012.
DOI : 10.1145/2103656.2103680

S. Basu, T. Bultan, and M. Ouederni, Synchronizability for Verification of Asynchronously Communicating Systems, Proc. Verification, Model Checking, and Abstract Interpretation VMCAI, pp.56-71, 2012.
DOI : 10.1007/978-3-642-15646-5_16

S. Sebastian, R. Bauer, S. Hennicker, and . Janisch, Interface theories for (a)synchronously communicating modal I/O-transition systems, Proceedings Foundations for Interface Technologies, FIT, EPTCS 46, pp.1-8, 2010.

S. Sebastian, P. Bauer, A. Mayer, R. Schroeder, and . Hennicker, On weak modal compatibility, refinement, and the MIO Workbench, Proc. 16 th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), pp.175-189, 2010.

H. Beohar and P. J. Cuijpers, Avoiding diamonds in desynchronisation, Science of Computer Programming, vol.91, pp.45-69, 2014.
DOI : 10.1016/j.scico.2013.12.002
URL : http://hh.diva-portal.org/smash/get/diva2:710254/FULLTEXT01

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

C. Canal, E. Pimentel, and J. M. Troya, Compatibility and inheritance in software architectures, Science of Computer Programming, vol.41, issue.2, pp.105-138, 2001.
DOI : 10.1016/S0167-6423(01)00002-8
URL : https://doi.org/10.1016/s0167-6423(01)00002-8

J. Carmona and J. Kleijn, Compatibility in a multi-component environment, Theoretical Computer Science, vol.484, pp.1-15, 2013.
DOI : 10.1016/j.tcs.2013.03.006
URL : https://doi.org/10.1016/j.tcs.2013.03.006

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

L. Clemente, F. Herbreteau, and G. Sutre, Decidable Topologies for Communicating Automata with FIFO and Bag Channels, CONCUR 2014 - Concurrency Theory, pp.281-296, 2014.
DOI : 10.1007/978-3-662-44584-6_20
URL : https://hal.archives-ouvertes.fr/hal-01023456

L. De, A. , and T. A. Henzinger, Interface Automata, Proc. 9 th ACM SIGSOFT Ann. Symp. Foundations of Software Engineering (FSE'01), pp.109-120, 2001.

S. Haddad, R. Hennicker, and M. H. Møller, Channel Properties of Asynchronously Composed Petri Nets, Application and Theory of Petri Nets and Concurrency, pp.369-388, 2013.
DOI : 10.1007/978-3-642-38697-8_20
URL : https://hal.archives-ouvertes.fr/hal-00926200

R. Hennicker, S. Janisch, and A. Knapp, Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication, Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop, pp.154-180, 2008.
DOI : 10.1007/978-3-642-12566-9_9

U. Kim-guldstrand-larsen, A. Nyman, and . Wasowski, Modal I/O automata for interface and product line theories, 16th European Symposium on Programming, ESOP, LNCS, pp.64-79, 2007.

M. Ouederni, G. Salaün, and T. Bultan, Compatibility Checking for Asynchronously Communicating Software, Formal Aspects of Component Software -10th International Symposium, FACS, LNCS, pp.310-328, 2013.
DOI : 10.1007/978-3-319-07602-7_19
URL : https://hal.archives-ouvertes.fr/hal-00913665

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A modal interface theory for component-based design, Fundam. Inform, vol.108, issue.12, pp.119-149, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00554283