同步多方会话的精确子类型

西尔维娅·吉勒赞,斯维特兰娜·雅克西奇,约万卡·潘托维奇,Alceste标量,吉田信子.同步多方会话的精确子类型.逻辑与代数程序设计杂志, 104:127-173,2019 [doi]

摘要

缺少摘要。