External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without
Summation
JIN Yun (金 云)
External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without
Summation
JIN Yun (金 云)
上海交通大学学报（英文版） . 2011, (5): 533 -537 .  DOI: 10.1007/s12204-011-1183-7