Abstract : We define complete type reconstruction algorithms for two type systems ensuring deadlock and lock freedom of linear π-calculus processes. Our work automates the verification of deadlock/lock freedom for a non-trivial class of processes that includes interleaved binary sessions and, to great extent, multiparty sessions as well. A Haskell implementation of the algorithms is available.
Tom Holvoet; Mirko Viroli. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9037, pp.83-98, 2015, Coordination Models and Languages. 〈10.1007/978-3-319-19282-6_6〉
https://hal.inria.fr/hal-01774941
Contributeur : Hal Ifip
<>
Soumis le : mardi 24 avril 2018 - 10:54:10
Dernière modification le : mardi 24 avril 2018 - 11:20:06
Document(s) archivé(s) le : mercredi 19 septembre 2018 - 09:39:03
Luca Padovani, Tzu-Chun Chen, Andrea Tosatto. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. Tom Holvoet; Mirko Viroli. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9037, pp.83-98, 2015, Coordination Models and Languages. 〈10.1007/978-3-319-19282-6_6〉. 〈hal-01774941〉