Typechecking java protocols with [st] mungo AL Voinea, O Dardha, SJ Gay International Conference on Formal Techniques for Distributed Objects …, 2020 | 16 | 2020 |
Mungo and StMungo: tools for typechecking protocols in Java O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber River Publishers, 2017 | 10 | 2017 |
Resource sharing via capability-based multiparty session types AL Voinea, O Dardha, SJ Gay International Conference on Integrated Formal Methods, 437-455, 2019 | 8 | 2019 |
A model of actors and grey failures L Bocchi, J Lange, S Thompson, AL Voinea Logical Methods in Computer Science 19, 2023 | 6 | 2023 |
A session type system for asynchronous unreliable broadcast communication D Kouzapas, RF Gutkovas, AL Voinea, SJ Gay arXiv preprint arXiv:1902.01353, 2019 | 4 | 2019 |
A theory of composing protocols L Bocchi, D Orchard, AL Voinea arXiv preprint arXiv:2203.02461, 2022 | 2 | 2022 |
Benefits of session types for software development AL Voinea, SJ Gay Proceedings of the 7th International Workshop on Evaluation and Usability of …, 2016 | 2 | 2016 |
Programming languages and tools with multiparty session AL Voinea University of Glasgow, 2023 | | 2023 |