L. Bettini, M. Coppo, L. D. Antoni, M. De-luca, M. Dezani-ciancaglini et al., Global Progress in Dynamically Interleaved Multiparty Sessions, CONCUR'08, pp.418-433978, 2008.
DOI : 10.1007/978-3-540-85361-9_33

L. Bocchi, R. Tzu-chun-chen, K. Demangeon, N. Honda, and . Yoshida, Monitoring Networks through Multiparty Session Types, FMOODS/FORTE'13, pp.50-65978, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01213683

S. Capecchi, I. Castellani, and &. Mariangiola-dezani-ciancaglini, Information Flow Safety in Multiparty Sessions, Mathematical Structures in Computer Science, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01237236

S. Capecchi, I. Castellani, and &. Mariangiola-dezani-ciancaglini, Typing Access Control and Secure Information Flow in Sessions. Information and Computation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01088782

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, pp.1-8, 2012.
DOI : 10.1145/2220365.2220367

M. Coppo, M. Dezani-ciancaglini, and &. Venneri, Self-Adaptive Monitors for Multiparty Sessions, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.688-696, 2014.
DOI : 10.1109/PDP.2014.18

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and &. Padovani, Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02, 2014.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034

D. E. Denning, A lattice model of secure information flow, Communications of the ACM, vol.19, issue.5, pp.236-243, 1976.
DOI : 10.1145/360051.360056

K. Honda, T. Vasco, &. Vasconcelos, and . Kubo, Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.22-138, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and &. Marco-carbone, Multiparty Asynchronous Session Types, pp.273-284, 2008.