A. Arnold, Finite Transition Systems -Semantics of Communicating Systems. Prentice Hall international series in computer science, 1994.

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

D. R. Christiansen, M. Carbone, and T. T. Hildebrandt, Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways, Proc. of WS-FM'10, pp.146-160, 2011.
DOI : 10.1007/978-3-540-88194-0_22

F. Corradini, A. Polini, B. Re, and F. Tiezzi, An Operational Semantics of BPMN Collaboration, Proc. of FACS'15, pp.161-180, 2015.
DOI : 10.1007/978-3-319-28934-2_9

N. Coste, H. Garavel, H. Hermanns, F. Lang, R. Mateescu et al., Ten Years of Performance Evaluation for Concurrent Systems Using CADP, Proc. of ISoLA'10, pp.128-142, 2010.
DOI : 10.1007/978-3-642-16561-0_18

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

A. K. Alves-de-medeiros, W. M. Van-der-aalst, and A. J. Weijters, Quantifying process equivalence based on observed behavior, Data & Knowledge Engineering, vol.64, issue.1, pp.55-74, 2008.
DOI : 10.1016/j.datak.2007.06.010

G. Decker and M. Weske, Interaction-centric modeling of process choreographies, Information Systems, vol.36, issue.2, pp.292-312, 2011.
DOI : 10.1016/j.is.2010.06.005

R. M. Dijkman, M. Dumas, and C. Ouyang, Semantics and analysis of business process models in BPMN, Information and Software Technology, vol.50, issue.12, pp.1281-1294, 2008.
DOI : 10.1016/j.infsof.2008.02.006

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, Proc. of ICSE'99, pp.411-420, 1999.

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE'01, pp.377-394, 2001.
DOI : 10.1007/0-306-47003-9_24

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

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s10009-012-0244-z

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

M. Güdemann, P. Poizat, G. Salaün, and A. Dumont, VerChor: A Framework for Verifying Choreographies, Proc. of FASE'13, pp.226-230, 2013.
DOI : 10.1007/978-3-642-37057-1_16

I. Lotos-?, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1989.

I. Iec, International Standard Information technology ? Business Process Model and Notation, 2013.

K. Kluza and K. Kaczor, Overview of BPMN Model Equivalences. Towards Normalization of BPMN Diagrams, Proc. of KESE'12, pp.38-45, 2012.

V. Lam, Foundation for Equivalences of BPMN Models, Theoretical and Applied Informatics, pp.33-66, 2012.
DOI : 10.2478/v10179-012-0003-6

C. Larman, Applying UML And Patterns: An Introduction To Object-Oriented Analysis And Design And Iterative Development, 2005.

A. Martens, Analyzing Web Service Based Business Processes, Proc. of FASE'05, pp.19-33, 2005.
DOI : 10.1007/978-3-540-31984-9_3

R. Mateescu, G. Salaün, and L. Ye, Quantifying the parallelism in BPMN processes using model checking, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.159-168, 2014.
DOI : 10.1145/2602458.2602473

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

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12

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

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

I. Raedts, M. Petkovic, Y. S. Usenko, J. M. Van-der-werf, J. F. Groote et al., Transformation of BPMN Models for Behaviour Analysis, Proc. of MSVVEIS'07, pp.126-137, 2007.

M. Reichert and B. Weber, Enabling Flexibility in Process-Aware Information Systems -Challenges, Methods, Technologies, 2012.

W. M. Van-der-aalst and A. H. Hofstede, YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2003.
DOI : 10.1016/j.is.2004.02.002

B. F. Van-dongen, R. M. Dijkman, and J. Mendling, Measuring Similarity between Business Process Models, Proc. of CAISE'08, pp.450-464, 2008.

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

M. Weidlich, R. M. Dijkman, and M. Weske, Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences, The Computer Journal, vol.55, issue.11, pp.1398-1418, 2012.
DOI : 10.1093/comjnl/bxs014

P. Y. Wong and J. Gibbons, A Relative Timed Semantics for BPMN, Electronic Notes in Theoretical Computer Science, vol.229, issue.2, pp.59-75, 2009.
DOI : 10.1016/j.entcs.2009.06.029

P. Y. Wong and J. Gibbons, A Process Semantics for BPMN, Proc. of ICFEM'08, pp.355-374, 2008.
DOI : 10.1007/978-3-540-88194-0_22

P. Y. Wong and J. Gibbons, Verifying Business Process Compatibility, Proc. of QSIC'08, pp.126-131, 2008.