External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without
Summation
JIN Yun (金 云)
J Shanghai Jiaotong Univ Sci . 2011, (5): 533 -537 .  DOI: 10.1007/s12204-011-1183-7