A. Laura Voinea
A. Laura Voinea
Verified email at research.gla.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
62020
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
Behavioural Types: from Theory to Tools, 309, 2017
62017
A Session Type System for Asynchronous Unreliable Broadcast Communication
D Kouzapas, RF Gutkovas, AL Voinea, SJ Gay
arXiv preprint arXiv:1902.01353, 2019
22019
Resource sharing via capability-based multiparty session types
AL Voinea, O Dardha, SJ Gay
International Conference on Integrated Formal Methods, 437-455, 2019
12019
Benefits of session types for software development
AL Voinea, SJ Gay
Proceedings of the 7th International Workshop on Evaluation and Usability of …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–5