TY - J Shanghai Jiaotong Univ Sci A1 - JIN Yun (金 云) T1 - External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without
Summation Y1 - 2011-10-20 16:39:07.81 JF - Journal of Shanghai Jiaotong University(Science) JO - J Shanghai Jiaotong Univ Sci SP - 533 EP - 537 VL - 16 IS - 5 UR - {https://xuebao.sjtu.edu.cn/sjtu_en/EN/10.1007/s12204-011-1183-7} N1 - 10.1007/s12204-011-1183-7 ER -