Finite Transition Systems -Semantics of Communicating Systems. Prentice Hall international series in computer science, 1994. ,
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
DOI : 10.1145/322374.322380
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
An Operational Semantics of BPMN Collaboration, Proc. of FACS'15, pp.161-180, 2015. ,
DOI : 10.1007/978-3-319-28934-2_9
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
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
Interaction-centric modeling of process choreographies, Information Systems, vol.36, issue.2, pp.292-312, 2011. ,
DOI : 10.1016/j.is.2010.06.005
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
Patterns in Property Specifications for Finite-State Verification, Proc. of ICSE'99, pp.411-420, 1999. ,
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
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
VerChor: A Framework for Verifying Choreographies, Proc. of FASE'13, pp.226-230, 2013. ,
DOI : 10.1007/978-3-642-37057-1_16
A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1989. ,
International Standard Information technology ? Business Process Model and Notation, 2013. ,
Overview of BPMN Model Equivalences. Towards Normalization of BPMN Diagrams, Proc. of KESE'12, pp.38-45, 2012. ,
Foundation for Equivalences of BPMN Models, Theoretical and Applied Informatics, pp.33-66, 2012. ,
DOI : 10.2478/v10179-012-0003-6
Applying UML And Patterns: An Introduction To Object-Oriented Analysis And Design And Iterative Development, 2005. ,
Analyzing Web Service Based Business Processes, Proc. of FASE'05, pp.19-33, 2005. ,
DOI : 10.1007/978-3-540-31984-9_3
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
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
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
Transformation of BPMN Models for Behaviour Analysis, Proc. of MSVVEIS'07, pp.126-137, 2007. ,
Enabling Flexibility in Process-Aware Information Systems -Challenges, Methods, Technologies, 2012. ,
YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2003. ,
DOI : 10.1016/j.is.2004.02.002
Measuring Similarity between Business Process Models, Proc. of CAISE'08, pp.450-464, 2008. ,
Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996. ,
DOI : 10.1145/233551.233556
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
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
A Process Semantics for BPMN, Proc. of ICFEM'08, pp.355-374, 2008. ,
DOI : 10.1007/978-3-540-88194-0_22
Verifying Business Process Compatibility, Proc. of QSIC'08, pp.126-131, 2008. ,