Miss Laura Voinea
- Research Associate (School of Computing Science)
The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Kouzapas, D., Gutkovas, R. F., Voinea, A. L. and Gay, S. J. (2024) A session type system for asynchronous unreliable broadcast communication. Logical Methods in Computer Science, 20(3), 13:1-13:54. (doi: 10.46298/lmcs-20(3:13)2024)
De Muijnck-Hughes, J. , Urlea, C. , Voinea, L. and Vanderbauwhede, W. (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023, (Accepted for Publication)
Kouzapas, D., Gutkovas, R. F., Voinea, A. L. and Gay, S. J. (2024) A session type system for asynchronous unreliable broadcast communication. Logical Methods in Computer Science, 20(3), 13:1-13:54. (doi: 10.46298/lmcs-20(3:13)2024)
De Muijnck-Hughes, J. , Urlea, C. , Voinea, L. and Vanderbauwhede, W. (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023, (Accepted for Publication)