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
Monitoring networks through multiparty session types, 2013. ,
DOI : 10.1016/j.tcs.2017.02.009
URL : https://hal.archives-ouvertes.fr/hal-01213683
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
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
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
MOP:An Efficient and Generic Runtime Verification Framework, OOPSLA, pp.569-588, 2007. ,
Theories for Session-based Governance for Large-Scale Distributed Systems, 2013. ,
Asynchronous Distributed Monitoring for Multiparty Session Enforcement, TGC, pp.25-45, 2011. ,
DOI : 10.1007/978-3-642-30065-3_2
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
Nested Protocols in Session Types, In CONCUR LNCS, vol.7454, pp.272-286, 2012. ,
DOI : 10.1007/978-3-642-32940-1_20
Dynamic multirole session types, POPL, pp.435-446, 2011. ,
Multiparty Session Types Meet Communicating Automata, ESOP, pp.194-213, 2012. ,
DOI : 10.1007/978-3-642-28869-2_10
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
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=10.1.1.30.9756
Multiparty Asynchronous Session Types, POPL'08, pp.273-284, 2008. ,
DOI : 10.1145/2827695
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594
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
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=10.1.1.147.1853
Parameterised Multiparty Session Types, FoSSaCs'10, pp.128-145, 2010. ,
DOI : 10.1007/978-3-642-12032-9_10