摘要：Session types for static verification of message-passing programs 用于静态验证消息传递程序的会话类型
作者：Alen Arslanagic, Jorge A. P''erez, Anda-Amelia Palamariuc
论文ID：2107.10936
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-07
PDF 下载： 英文版 中文版pdf翻译中