F. Arbab, N. Kokash, and S. Meng, Towards Using Reo for Compliance-Aware Business Process Modeling, Proc. of ISoLA'08, pp.108-123, 2008.
DOI : 10.1016/j.entcs.2008.03.100

A. Bouhoula, J. Jouannaud, and J. Meseguer, Specification and proof in membership equational logic, Theoretical Computer Science, vol.236, issue.1-2, pp.35-132, 2000.
DOI : 10.1016/S0304-3975(99)00206-6
URL : https://hal.archives-ouvertes.fr/inria-00099079

R. Bruni, A. Corradini, G. L. Ferrari, T. Flagella, R. Guanciale et al., Applying Process Analysis to the Italian eGovernment Enterprise Architecture, Proc. of WS-FM'11, pp.111-127, 2011.
DOI : 10.1007/978-3-642-29834-9_9

M. I. Capel and L. E. Morales, Automating the Transformation from BPMN Models to CSP+T Specifications, 2012 35th Annual IEEE Software Engineering Workshop, pp.100-109, 2012.
DOI : 10.1109/SEW.2012.17

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

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol.4350, 2007.

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. 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

S. Eker, J. Meseguer, and A. Sridharanarayanan, The Maude LTL Model Checker, Proc. of WRLA'02, pp.115-142, 2002.
DOI : 10.1016/S1571-0661(05)82534-4
URL : http://doi.org/10.1016/s1571-0661(05)82534-4

N. El-saber and A. Boronat, BPMN Formalization and Verification using Maude, Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, BM-FA '14, pp.1-8, 2014.
DOI : 10.1145/2630768.2630769

V. Gruhn and R. Laue, Patterns for Timed Property Specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006.
DOI : 10.1016/j.entcs.2005.10.035
URL : http://doi.org/10.1016/j.entcs.2005.10.035

M. Güdemann, P. Poizat, G. Salaün, and L. Ye, VerChor: A Framework for the Design and Verification of Choreographies, IEEE Transactions on Services Computing, vol.9, issue.4, pp.647-660, 2016.
DOI : 10.1109/TSC.2015.2413401

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

S. Konrad and B. H. Cheng, Real-time Specification Patterns, Proc. of ICSE'05, pp.372-381, 2005.
DOI : 10.1145/1062455.1062526

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.8713

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

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

J. Meseguer, M. Palomino, and N. Martí-oliet, Equational Abstractions, Proc. of CADE'03, pp.2-16, 2003.
DOI : 10.1007/978-3-540-45085-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.9812

L. E. Morales, M. I. Tuñón, and M. A. Pérez, A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes, Proc. of ICEIS'10, volume 73 of Lecture Notes in Business Information Processing, pp.388-403, 2010.
DOI : 10.1016/j.jlap.2004.03.009

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

P. Poizat, G. Salaün, and A. Krishna, Checking Business Process Evolution, Proc. of FACS'16, 2016.
DOI : 10.1007/978-3-540-69534-9_34
URL : https://hal.archives-ouvertes.fr/hal-01366641

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.

Y. Sun and J. Su, Computing Degree of Parallelism for BPMN Processes, Proc. of ICSOC'11, pp.1-15, 2011.
DOI : 10.1007/BF00264285

W. M. Van-der-aalst, A. Adriansyah, and B. F. Van-dongen, Replaying history on process models for conformance checking and performance analysis, Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, vol.36, issue.2, pp.182-192, 2012.
DOI : 10.1002/widm.1045

P. 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. Wong and J. Gibbons, Verifying Business Process Compatibility, Proc. of QSIC'08, pp.126-131, 2008.
DOI : 10.1109/qsic.2008.6

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
URL : http://doi.org/10.1016/j.entcs.2009.06.029