论文部分内容阅读
External Equality and Absolute Equality Coincide in Finite CCS and 7π Calculus Without Summation
【机 构】
：
Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China
【出 处】
：
上海交通大学学报（英文版）
【发表日期】
：
2011年5期
其他文献
Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra