J Shanghai Jiaotong Univ Sci

Journal of Shanghai Jiaotong University(Science) >

2011 , Vol. 16 >Issue 5: 533 - 537

DOI: https://doi.org/10.1007/s12204-011-1183-7

Articles

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

Expand
  • (Department of Computer Science and
    Engineering, Shanghai Jiaotong University, Shanghai 200240, China)

Received date: 2010-09-21

  Online published: 2011-10-20

Supported by

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

Fold

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; π calculus; absolute equality;
external equality; coincidence

Cite this article

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

References

1  Milner R. Communication and concurrency [M]. London:

Prentice Hall, 1989.
2  Milner R. Elements of interaction [J].  Communication of

the ACM, 1993,  36(1): 78-89.
3 Fu Yu-xi. Theory of interaction [EB/OL]. (2010-06-30) [2010-09-10] http://basics.sjtu.edu.cn/～yuxi/.
4  van Glabbeek R, Weijland W.  Branching time and

abstraction in bisimulation semantics [J].  Journal of the ACM,

1996,  43(3): 613-618.
5 Fu Yu-xi,  Zhu Han. The name passing calculus [EB/OL]. (2010-06-30) [2010-09-10] http://basics.sjtu. edu.cn/～yuxi/.
6 Milner R, Parrow J, Walker D. A calculus of mobile

processes [J].  Information and Computation, 1992,  100(1): 1-77.
7  Yun. Study of computational theory on complete

interactive model [D]. Shanghai: Department of Computer Science and

Engineering, Shanghai Jiaotong University, 2011.
Options
Outlines

/

〈 〉