School of Computing Science

Dr Laura Voinea

  • Research Associate, Affiliate Research Associate (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2026 | 2024 | 2023
Number of items: 3.

2026

Bocchi, Laura, Hu, Raymond, Voinea, Adriana Laura and Thompson, Simon (2026) Mixed Choice in Asynchronous Multiparty Session Types. Proceedings of the ACM on Programming Languages, 10(OOPSLA), pp. 1542-1569. (doi: 10.1145/3798256)

2024

Kouzapas, Dimitrios, Gutkovas, Ramunas Forsberg, Voinea, A. Laura and Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091 (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)

2023

De Muijnck-Hughes, Jan ORCID logoORCID: https://orcid.org/0000-0003-2185-8543, Urlea, Cristian ORCID logoORCID: https://orcid.org/0000-0001-7851-8916, Voinea, Laura and Vanderbauwhede, Wim ORCID logoORCID: https://orcid.org/0000-0001-6768-0037 (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. 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. (Unpublished)

This list was generated on Tue Aug 18 20:59:31 2026 BST.
Jump to: Articles | Conference or Workshop Item
Number of items: 3.

Articles

Bocchi, Laura, Hu, Raymond, Voinea, Adriana Laura and Thompson, Simon (2026) Mixed Choice in Asynchronous Multiparty Session Types. Proceedings of the ACM on Programming Languages, 10(OOPSLA), pp. 1542-1569. (doi: 10.1145/3798256)

Kouzapas, Dimitrios, Gutkovas, Ramunas Forsberg, Voinea, A. Laura and Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091 (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)

Conference or Workshop Item

De Muijnck-Hughes, Jan ORCID logoORCID: https://orcid.org/0000-0003-2185-8543, Urlea, Cristian ORCID logoORCID: https://orcid.org/0000-0001-7851-8916, Voinea, Laura and Vanderbauwhede, Wim ORCID logoORCID: https://orcid.org/0000-0001-6768-0037 (2023) Capable: A Mechanised Imperative Language with Native Multiparty Session Types. 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. (Unpublished)

This list was generated on Tue Aug 18 20:59:31 2026 BST.