Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, p.8, 2012. ,
DOI : 10.1145/2220365.2220367
Coherence generalises duality: A logical explanation of multiparty session types, CONCUR, volume 59 of LIPIcs, pp.1-3315, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01336600
Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013. ,
DOI : 10.1145/2429069.2429101
URL : https://hal.archives-ouvertes.fr/hal-00909320
Multiparty session types as coherence proofs, Acta Informatica, vol.24, issue.2???3, 2017. ,
DOI : 10.1017/S095679681400001X
URL : https://hal.archives-ouvertes.fr/hal-01231453
Programming Language ,
Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02, pp.238-302, 2016. ,
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034
Choreographies in Practice, LNCS, vol.9, issue.3???4, pp.114-123, 2016. ,
DOI : 10.1007/978-3-642-12032-9_10
URL : https://hal.archives-ouvertes.fr/hal-01432931
A language for the declarative composition of concurrent protocols, 1602. ,
A Core Model for Choreographic Programming, FACS 2016, 2017. ,
DOI : 10.2307/2268280
Dynamic choreographies, In COORDINATION LNCS, pp.67-82, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01631394
Nested Protocols in Session Types, In CONCUR, pp.272-286, 2012. ,
DOI : 10.1007/978-3-642-32940-1_20
Dynamic multirole session types, POPL, pp.435-446, 2011. ,
Scribbling Interactions with a Formal Foundation, ICDCIT, pp.55-75, 2011. ,
DOI : 10.1007/978-3-642-04167-9_12
Language primitives and type discipline for structured communication-based programming, ESOP, pp.122-138, 1998. ,
DOI : 10.1007/BFb0053567
Multiparty Asynchronous Session Types, J. ACM, vol.63, issue.1, p.9, 2016. ,
DOI : 10.1145/1328897.1328472
Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-332, 2008. ,
DOI : 10.1109/SEFM.2008.11
Amending Choreographies, WWV, pp.34-48, 2013. ,
DOI : 10.1145/1242572.1242704
URL : https://hal.archives-ouvertes.fr/hal-00909305
Learning from mistakes, ACM SIGARCH Computer Architecture News, vol.36, issue.1, pp.329-339, 2008. ,
DOI : 10.1145/1353534.1346323
Choreographic Programming, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01658417
Compositional Choreographies, In CONCUR LNCS, vol.8052, pp.425-439, 2013. ,
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321
MPI: A Message-Passing Interface Standard. High-Performance Computing Center Stuttgart, 2015. ,
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
Web services choreography description language version 1.0, 2004. ,
Parameterised Multiparty Session Types, FOSSACS, pp.128-145, 2010. ,
DOI : 10.1007/978-3-642-12032-9_10
URL : http://www.doc.ic.ac.uk/%7Eab406/papers/parameterised-sessions.pdf