A Complete Proof System of Weak Bisimulation Over a Linear HOcore

被引：0

作者：

Cao, Zining ^{[1
,2
]}

机构：

[1] Nanjing Univ Aero & Astro, Dept Comp Sci & Technol, Nanjing 210016, Jiangsu, Peoples R China

[2] Soochow Univ, Prov Key Lab Comp Informat Proc Technol, Suzhou 215006, Peoples R China

来源：

2012 THIRD INTERNATIONAL CONFERENCE ON THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (ICTMF 2012) | 2013年 / 38卷

基金：

中国国家自然科学基金;

关键词：

Process Calculi; Bisimulation; Proof System; Higher Order pi Calculus; CALCULUS;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this short paper, we show the equivalence between weak context bisimulation and strong bisimulation for the linear HOcore. Then as a corollary, we get a complete proof system of weak context bisimulation over the linear HOcore.

引用

页码：385 / 389

页数：5

共 14 条

[1]

[Anonymous], THESIS

[2]

[Anonymous], 1992, THESIS

[3]

Hennessy M., 1996, Formal Aspects of Computing, V8, P379, DOI 10.1007/BF01213531

[4]

Hirschkoff D., 2008, LOG METH COMPUT SCI, V4

[5]

Jeffrey Alan, 2003, P MATH FDN PROGR SEM

[6]

Lanese I., P LICS 2008

[7]

Lin H, 1998, LECT NOTES COMPUT SC, V1443, P443, DOI 10.1007/BFb0055074

[8] Complete inference systems for weak bisimulation equivalences in the πr-calculus [J].

Lin, HM .

INFORMATION AND COMPUTATION, 2003, 180 (01) :1-29

[9]

Milner R., 1989, Communication and concurrency

[10] A COMPLETE INFERENCE SYSTEM FOR A CLASS OF REGULAR BEHAVIORS [J].

MILNER, R .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 28 (03) :439-466

← 1 2 →