Resumption定义下的弱互模拟和Big-step操作语义

【文件属性】：

文件名称：Resumption定义下的弱互模拟和Big-step操作语义

文件大小：1.22MB

文件格式：PDF

更新时间：2021-01-23 05:31:13

并行理论

Resumptions,Weak Bisimilarity and Big-Step Semantics