摘要：(二进制)异步时间会话类型中的(超时)混合选择
作者：Jonah Pears and Laura Bocchi and Andy King
论文ID：2307.12688
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-25
PDF 下载： 英文版 中文版pdf翻译中