W. M. Van-der-aalst, A. J. Mooij, C. Stahl, and K. Wolf, Service interaction: Patterns, formalization, and analysis. In: Formal Methods for Web Services, pp.42-88, 2009.

A. Barros and E. Börger, A compositional framework for service interaction patterns and interaction flows, Formal Engineering Methods, pp.5-35, 2005.
DOI : 10.1007/11576280_2

A. Barros, M. Dumas, and A. H. Ter-hofstede, Service interaction patterns, Business Process Management, pp.302-318, 2005.

E. Börger and B. Thalheim, Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach, pp.24-38, 2008.

D. Campagna, C. Kavka, and L. Onesti, Enhancing BPMN 2.0 support for service interaction patterns, Software Engineering and Applications, 2014.

F. Corradini, C. Muzi, B. Re, F. Tiezzi, and L. Rossi, Animating multiple instances in bpmn collaborations: from formal semantics to tool support, BPM 2018, 2018.
DOI : 10.1007/978-3-319-98648-7_6

F. Corradini, C. Muzi, B. Re, F. Tiezzi, and L. Rossi, Mida: Multiple instances and data animator, BPM 2018 (Demo), 2018.

M. Cortes-cornax, S. Dupuy-chessa, and D. Rieu, Choreographies in BPMN 2.0: new challenges and open questions, vol.847, pp.50-57, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00953443

G. Decker and A. Barros, Interaction modeling using BPMN, LNCS, vol.4928, pp.208-219, 2008.
DOI : 10.1007/978-3-540-78238-4_22

G. Decker, F. Puhlmann, and M. Weske, Formalizing service interactions, International Conference on Business Process Management, pp.414-419, 2006.
DOI : 10.1007/11841760_32
URL : http://frapu.de/pdf/bpm2006-interaction-short.pdf

G. Decker and M. Weske, Instance isolation analysis for service-oriented architectures, SCC, vol.1, pp.249-256, 2008.
DOI : 10.1109/scc.2008.44
URL : http://bpt.hpi.uni-potsdam.de/pub/Public/GeroDecker/scc2008-instanceisolationanalysis.pdf

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.

M. Dumas, M. La-rosa, J. Mendling, and H. A. Reijers, Fundamentals of business process management, 2013.

R. Milner, A Calculus of Communicating Systems, 1980.

N. Mulyar, W. M. Van-der-aalst, L. Aldred, and N. Russell, Service interaction patterns: A configurable framework, management, vol.34, p.29, 2007.

, OMG: Business Process Model and Notation, 2011.

M. Weske, Business Process Management, 2012.