P. Poizat, Formal Model-Based Approaches for the Development of Composite Systems, 2011.

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007.
DOI : 10.1145/1242572.1242704

S. Basu and T. Bultan, Choreography conformance via synchronizability, Proceedings of the 20th international conference on World wide web, WWW '11, 2011.
DOI : 10.1145/1963405.1963516

G. Salaün and T. Bultan, Realizability of Choreographies using Process Algebra Encodings, Proc. of IFM'09, 2009.

J. Li, H. Zhu, and G. Pu, Conformance Validation between Choreography and Orchestration, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007.
DOI : 10.1109/TASE.2007.16

N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, Choreography and Orchestration Conformance for System Design, Proc. of COORDINATION'06, 2006.
DOI : 10.1007/11767954_5

R. Kazhamiakin and M. Pistore, Choreography Conformance Analysis: Asynchronous Communications and Information Alignment, Proc. of WS-FM'06, 2006.
DOI : 10.1007/11841197_15

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

M. Hennessy and H. Lin, Symbolic bisimulations, Theoretical Computer Science, vol.138, issue.2, pp.353-389, 1995.
DOI : 10.1016/0304-3975(94)00172-F

H. Lin, Symbolic transition graph with assignment, Proc. of CONCUR'96, 1996.
DOI : 10.1007/3-540-61604-7_47

Z. Li and H. Chen, Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes, Proc. of TACAS'99, 1999.
DOI : 10.1007/3-540-49059-0_21

S. Basu, M. Mukund, C. Ramakrishnan, I. Ramakrishnan, and R. Verma, Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming, In: Logic Programming, 2001.
DOI : 10.1007/3-540-45635-X_19

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Proc. of SC'07, 2007.
DOI : 10.1007/978-3-540-77351-1_4

H. N. Nguyen, P. Poizat, and F. Za¨?diza¨?di, A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. Long version, in P
URL : https://hal.archives-ouvertes.fr/hal-01367304

G. Decker, O. Kopp, and A. P. Barros, An Introduction to Service Choreographies, Information Technology, vol.50, issue.2, pp.122-127, 2008.

O. Kopp and F. Leymann, Do We Need Internal Behavior in Choreography Models, Proc. of ZEUS'09, 2009.

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, 2012.
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393