伊曼纽尔·德奥斯瓦尔多 朱利安·萨瑟兰 阿扎德·法尔赞 菲利普·加德纳 TaDA Live：终止细粒度并发程序的组合推理。 16:1至16:134 2021 43 ACM事务处理。程序。语言系统。 4 https://doi.org/10.1145/3477082 db/journals/toplas/toplas43.html#DOsualdoSFG21