Follow
A. Laura Voinea
A. Laura Voinea
Verified email at glasgow.ac.uk
Title
Cited by
Cited by
Year
Typechecking java protocols with [st] mungo
AL Voinea, O Dardha, SJ Gay
International Conference on Formal Techniques for Distributed Objects …, 2020
162020
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
River Publishers, 2017
102017
Resource sharing via capability-based multiparty session types
AL Voinea, O Dardha, SJ Gay
International Conference on Integrated Formal Methods, 437-455, 2019
82019
A model of actors and grey failures
L Bocchi, J Lange, S Thompson, AL Voinea
Logical Methods in Computer Science 19, 2023
72023
A session type system for asynchronous unreliable broadcast communication
D Kouzapas, RF Gutkovas, AL Voinea, SJ Gay
arXiv preprint arXiv:1902.01353, 2019
42019
A theory of composing protocols
L Bocchi, D Orchard, AL Voinea
arXiv preprint arXiv:2203.02461, 2022
22022
Benefits of session types for software development
AL Voinea, SJ Gay
Proceedings of the 7th International Workshop on Evaluation and Usability of …, 2016
22016
Programming languages and tools with multiparty session
AL Voinea
University of Glasgow, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–8