Dynamic Software Update for Message Passing Programs, Lecture Notes in Computer Science, vol.7705, pp.207-222, 2012. ,
DOI : 10.1007/978-3-642-35182-2_15
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
Session types with runtime adaptation: Overview and examples, PLACES, pp.21-32, 2013. ,
Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005. ,
DOI : 10.1007/s00236-005-0177-z
Disciplined structured communications with disciplined runtime adaptation, Science of Computer Programming, vol.97, pp.235-265, 2015. ,
DOI : 10.1016/j.scico.2014.04.017
URL : https://hal.archives-ouvertes.fr/hal-01052441