Taro Suzuki and Satoshi Okui: "Formalization of π-calculus using abstract higher-order rewrite systems"Technical report, the University of Aizu. (2003)
Taro Suzuki and Satoshi Okui: "Formalization of π-calculus using abstract higher-order rewrite systems"Technical report, the University of Aizu. (2003)
复制标题
铃木太郎和奥井聪：“使用抽象高阶重写系统的 π 演算的形式化”技术报告，会津大学（2003 年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
