L. Bettini, Global Progress in Dynamically Interleaved Multiparty Sessions, In CONCUR LNCS, vol.5201, pp.418-433, 2008.
DOI : 10.1007/978-3-540-85361-9_33

L. Bocchi, T. Chen, R. Demangeon, K. Honda, and N. Yoshida, Monitoring networks through multiparty session types, 2013.
DOI : 10.1016/j.tcs.2017.02.009

URL : https://hal.archives-ouvertes.fr/hal-01213683

L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida, A Theory of Design-by-Contract for Distributed Multiparty Interactions, In CONCUR LNCS, vol.6269, pp.162-176, 2010.
DOI : 10.1007/978-3-642-15375-4_12

S. Capecchi, I. Castellani, and M. Dezani-ciancaglini, Information Flow Safety in Multiparty Sessions, EXPRESS, pp.16-30, 2011.
DOI : 10.4204/EPTCS.64.2

URL : https://hal.archives-ouvertes.fr/hal-01237236

S. Capecchi, E. Giachino, and N. Yoshida, Global escape in multiparty sessions, FSTTCS'10, pp.338-351, 2010.
DOI : 10.1007/978-3-540-78739-6_21

URL : https://hal.archives-ouvertes.fr/hal-01336832

F. Chen and G. Rosu, MOP:An Efficient and Generic Runtime Verification Framework, OOPSLA, pp.569-588, 2007.

T. Chen, Theories for Session-based Governance for Large-Scale Distributed Systems, 2013.

T. Chen, L. Bocchi, P. Deniélou, K. Honda, and N. Yoshida, Asynchronous Distributed Monitoring for Multiparty Session Enforcement, TGC, pp.25-45, 2011.
DOI : 10.1007/978-3-642-30065-3_2

R. De-nicola, G. Ferrari, and R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

R. Demangeon and K. Honda, Nested Protocols in Session Types, In CONCUR LNCS, vol.7454, pp.272-286, 2012.
DOI : 10.1007/978-3-642-32940-1_20

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

P. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, ESOP, pp.194-213, 2012.
DOI : 10.1007/978-3-642-28869-2_10

G. Ferrari, E. Moggi, and R. Pugliese, Guardians for Ambient-Based Monitoring, Electronic Notes in Theoretical Computer Science, vol.66, issue.3, pp.141-202, 2002.
DOI : 10.1016/S1571-0661(04)80416-X

URL : http://doi.org/10.1016/s1571-0661(04)80416-x

K. Honda and N. Yoshida, On reduction-based process semantics, Theoretical Computer Science, vol.151, issue.2, pp.437-486, 1995.
DOI : 10.1016/0304-3975(95)00074-7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, POPL'08, pp.273-284, 2008.
DOI : 10.1145/2827695

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Ligatti, L. Bauer, and D. Walker, Run-Time Enforcement of Nonsafety Policies, ACM Transactions on Information and System Security, vol.12, issue.3, pp.1-1941, 2009.
DOI : 10.1145/1455526.1455532

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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