Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro. A Session Subtyping Tool. In Ferruccio Damiani, Ornela Dardha, editors, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Volume 12717 of Lecture Notes in Computer Science, pages 90-105, Springer, 2021. [doi]
Abstract is missing.