上海交通大学学报（英文版） ›› 2011, Vol. 16 ›› Issue (5): 533-537.doi: 10.1007/s12204-011-1183-7

• 论文 • 上一篇    下一篇

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

JIN Yun (金   云)   

  1. (Department of Computer Science and
    Engineering, Shanghai Jiaotong University, Shanghai 200240, China)
  • 收稿日期:2010-09-21 出版日期:2011-10-29 发布日期:2011-10-20
  • 通讯作者: JIN Yun (金 云) E-mail:auconan@126.com
  • 基金资助:

    the National Natural Science Foundation of China (No. 60873034)

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

JIN Yun (金   云)   

  1. (Department of Computer Science and
    Engineering, Shanghai Jiaotong University, Shanghai 200240, China)
  • Received:2010-09-21 Online:2011-10-29 Published:2011-10-20
  • Contact: JIN Yun (金 云) E-mail:auconan@126.com
  • Supported by:

    the National Natural Science Foundation of China (No. 60873034)

摘要： Abstract:  External equality and absolute equality
are defined model independently by Fu. It is interesting and
important to know whether these two equalities coincide or not. There
are some results in Fu's paper for this issue. It is relatively
easy to prove the coincidence if the summation operator is in the
language, otherwise it is harder. In fact Fu proposed it as an open
problem whether the two equalities coincide in some languages without
summation. In this paper, the proofs of the coincidence in finite
CCS and π calculus without summation are given.

关键词:
CCS calculus, &pi, calculus, absolute equality,
external equality, coincidence

Abstract: Abstract:  External equality and absolute equality
are defined model independently by Fu. It is interesting and
important to know whether these two equalities coincide or not. There
are some results in Fu's paper for this issue. It is relatively
easy to prove the coincidence if the summation operator is in the
language, otherwise it is harder. In fact Fu proposed it as an open
problem whether the two equalities coincide in some languages without
summation. In this paper, the proofs of the coincidence in finite
CCS and π calculus without summation are given.

Key words:
CCS calculus, &pi, calculus, absolute equality,
external equality, coincidence

中图分类号: