2013-2023 Publications

• 2023
  • R. Demangeon, C. Dima, D. Varacca : “Observational Preorders for Alternating Transition Systems”, 20^th European Conference on Multi-Agent Systems - EUMAS 2023, vol. 14282, Lecture Notes in Computer Science, Naples, Italy, pp. 312-327, (Springer Nature Switzerland) (2023)
• 2018
  • R. Demangeon, N. Yoshida : “Causal Computational Complexity of Distributed Processes”, LICS '18 Proceedings of the 33^rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, pp. 344-353, (ACM Press) (2018)
  • E. Chailloux, R. Demangeon, M. Mauny : “Typage des langages de programmation”, chapitre de Techniques de l'ingénieur n°ref. article : h3320, (Editions T.I.) (2018)
• 2017
  • R. Demangeon, L. Bocchi, N. Yoshida, T.‑Ch. Chen, K. Honda : “Monitoring networks through multiparty session types”, Theoretical Computer Science, vol. 669, pp. 33-58, (Elsevier) (2017)
• 2015
  • R. Demangeon, N. Yoshida : “On the Expressiveness of Multiparty Sessions”, 35^th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, vol. 45, Leibniz International Proceedings in Informatics (LIPIcs), Bangalore, India, pp. 560-574 (2015)
  • R. Demangeon, K. Honda, R. Hu, R. Neykova, N. Yoshida : “Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python”, Formal Methods in System Design, pp. 1-29, (Springer Verlag) (2015)
• 2014
  • R. Demangeon, R. Hu, K. Honda, N. Yoshida, T.‑Ch. Chen, R. Neykova : “Structuring Communication with Session Types”, Concurrent Objects and Beyond, vol. 8665, Lecture Notes in Computer Science, Kobe, Japan, pp. 105-127 (2014)
• 2013
  • R. Demangeon, R. Hu, R. Neykova, N. Yoshida : “Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python”, 4^th International Conference, RV 2013, vol. 8174, Lecture Notes in Computer Science, Rennes, France, pp. 130-148, (Springer Berlin Heidelberg) (2013)