会话类型并发的逻辑关系
摘要
出版物: -
arXiv电子打印 发布日期: 2023年8月 内政部: -
10.48550/arXiv.2309.00192 arXiv: -
arXiv:2309.00192 书目代码: -
2023arXiv230900192B 关键词: -
计算机科学-编程语言
电子打印: arXiv管理说明:文本与arXiv重叠:2208.13741