Dr Laura Voinea

School of Computing Science

简介

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)

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。