External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without<br> Summation

Sponsored by the Ministry of Education of the People's Republic of China
Directed by Shanghai Jiao Tong University
ISSN 1007-1172 CN 31-1943/U

JIN Yun (金云)

Journal of shanghai Jiaotong University (Science) . 2011, (5): 533 -537 . DOI: 10.1007/s12204-011-1183-7