多态π演算的互模拟等价关系及其公理化

基础资料浏览 1

多态π演算的互模拟等价关系及其公理化

源站未提供 PDF 预览图,完整文件需登录后下载。标准规范类资料(/soft/ 路径)通常有首页扫描预览。

多态π演算的互模拟等价关系及其公理化