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

doi:10.1007/s12204-011-1183-7

上海交通大学学报（英文版） ›› 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 (金云)

(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 (金云)

(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

摘要： 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

中图分类号:

TP 301.2

JIN Yun (金云). External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without
Summation[J]. 上海交通大学学报（英文版）, 2011, 16(5): 533-537.

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.

558

HTML			PDF

最新录用	在线预览	正式出版	最新录用	在线预览	正式出版
0	0	0	0	0	558

来源	本网站	其他网站

次数	5	553
比例	1%	99%

摘要

1712

最新录用	在线预览	正式出版

0	0	1712

来源	本网站	其他网站

次数	354	1358
比例	21%	79%

[1]	LI Jie (李杰), LIU Yongzhi (刘勇智), SHAN Chenglong (鄯成龙), DAI Cong (戴聪). Implementation of Simplified Fractional-Order PID Controller Based on Modified Oustaloup's Recursive Filter[J]. Journal of Shanghai Jiao Tong University (Science), 2020, 25(1): 44-50.
[2]	HAO Lili1,2 (郝丽丽), LI Xiaoyan1* (李晓艳), LIU Song1 (刘松), JIANG Wei1 (蒋威). Adomian’s Method Applied to Solve Ordinary and Partial Fractional Differential Equations[J]. 上海交通大学学报（英文版）, 2017, 22(3): 371-376.
[3]	YIN Qiang* (尹强), LONG Huan (龙环). Process Passing Calculus, Revisited[J]. 上海交通大学学报（英文版）, 2013, 18(1): 29-36.

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

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

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐 0

Metrics

本文评价

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

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

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐 0

Metrics

本文评价

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

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