S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp.191-202, 2012.

A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, Formalizing Web Service Choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004.
DOI : 10.1016/j.entcs.2004.05.007

B. Benatallah, F. Casati, and F. Toumani, Analysis and Management of Web Service Protocols, Conceptual Modeling ? ER 2004, pp.524-541, 2004.
DOI : 10.1007/978-3-540-30464-7_40
URL : https://hal.archives-ouvertes.fr/hal-00108735

N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, Choreography and orchestration conformance for system design. In Coordination Models and Languages, Pitro Zafiropulo. On communicating finite-state machines, pp.63-81323, 1983.

J. Heung-seok-chae, J. Lee, and . Bae, AN APPROACH TO CHECKING BEHAVIORAL COMPATIBILITY BETWEEN WEB SERVICES, International Journal of Software Engineering and Knowledge Engineering, vol.18, issue.02, pp.223-241870, 2008.
DOI : 10.1142/S0218194008003647

M. Fischer, N. Lynch, and M. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

H. Foster, S. Uchitel, J. Magee, and J. Kramer, Compatibility verification for Web service choreography, Proceedings. IEEE International Conference on Web Services, 2004., p.738, 2004.
DOI : 10.1109/ICWS.2004.1314806

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

L. Lamport, Specifying Systems, 2003.

Y. Li, Q. Z. Fan, Z. Sheng, H. Maamar, and . Zhu, A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.41, issue.3, pp.510-521, 2011.
DOI : 10.1109/TSMCA.2010.2093884

A. Martens, On compatibility of web services. Petri Net Newsletter [MP09] Annapaola Marconi and Marco Pistore. Synthesis and composition of web services, Formal Methods for Web Services, pp.12-20, 2003.

P. Poizat and G. Salaün, Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1927-1934, 2012.
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393