J. A. Bergstra, I. Bethke, and A. Ponse, Process algebra with iteration, 1993.
DOI : 10.1093/comjnl/37.4.243
URL : https://academic.oup.com/comjnl/article-pdf/37/4/243/1067027/370243.pdf

L. Bettini, M. Coppo, L. D. Antoni, M. De-luca, M. Dezani-ciancaglini et al., Global Progress in Dynamically Interleaved Multiparty Sessions, Proceedings of CON- CUR'08, pp.418-433, 2008.
DOI : 10.1007/978-3-540-85361-9_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.1553

M. Boreale, R. Bruni, R. De-nicola, and M. Loreti, Sessions and Pipelines for Structured Service Programming, Proceedings of FMOODS'08, pp.19-38, 2008.
DOI : 10.1007/978-3-540-68863-1_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.9844

M. Bravetti, I. Lanese, and G. Zavattaro, Contract-Driven Implementation of Choreographies, Proceedings of TGC'09, pp.1-18, 2008.
DOI : 10.1016/j.ic.2006.06.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.1166

M. Bravetti and G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Proceedings of SC'07, pp.34-50, 2007.
DOI : 10.1007/978-3-540-77351-1_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3730

M. Bravetti and G. Zavattaro, Contract Compliance and Choreography Conformance in the Presence of Message Queues, Proceedings of WS-FM'08, pp.37-54, 2008.
DOI : 10.1007/3-540-45657-0_13

L. Caires and H. T. Vieira, Conversation types, Proceedings of ESOP'09, pp.285-300, 2009.
DOI : 10.1016/j.tcs.2010.09.010
URL : http://doi.org/10.1016/j.tcs.2010.09.010

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Proceedings of ESOP'07, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.902

G. Castagna and L. Padovani, Contracts for Mobile Processes, Proceedings of CON- CUR'09, pp.211-228, 2009.
DOI : 10.1007/978-3-540-28644-8_32
URL : https://hal.archives-ouvertes.fr/hal-00434461

C. Chao and Q. Zongyan, An Approach to Check Choreography with Channel Passing in WS-CDL, 2008 IEEE International Conference on Web Services, pp.700-707, 2008.
DOI : 10.1109/ICWS.2008.46

P. Deniélou and N. Yoshida, Dynamic multirole session types, Proceedings of POPL'11, pp.435-446, 2011.

M. Dezani-ciancaglini, U. De-'liguoro, and N. Yoshida, On Progress for Structured Communications, Proceedings of TGC'07, pp.257-275, 2008.
DOI : 10.1007/978-3-540-78663-4_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6153

B. Genest, A. Muscholl, and D. Peled, Message Sequence Charts, Lectures on Concurrency and Petri Nets, pp.537-558, 2003.
DOI : 10.1007/978-3-540-27755-2_15
URL : https://hal.archives-ouvertes.fr/inria-00173529

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Proceedings of ESOP'98, pp.22-138, 1998.
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Proceedings of POPL'08, pp.273-284, 2008.
DOI : 10.1145/2827695
URL : http://doi.org/10.1145/2827695

R. Milner, A complete inference system for a class of regular behaviours, Journal of Computer and System Sciences, vol.28, issue.3, pp.439-466, 1984.
DOI : 10.1016/0022-0000(84)90023-0

R. J. Parikh, On Context-Free Languages, Journal of the ACM, vol.13, issue.4, pp.570-581, 1966.
DOI : 10.1145/321356.321364

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, pp.973-982, 2007.
DOI : 10.1145/1242572.1242704

K. Takeuchi, K. Honda, and M. Kubo, An interaction-based language and its typing system, Proceedings of PARLE'94, pp.398-413, 1994.
DOI : 10.1007/3-540-58184-7_118
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1431

N. Yoshida, P. Deniélou, A. Bejleri, and R. Hu, Parameterised Multiparty Session Types, Proceedings of FOSSACS'10, pp.128-145, 2010.
DOI : 10.1007/978-3-642-12032-9_10