Normal Bisimulation for Higher Order π-Calculus with Unguarded Choice

被引：0

作者：

Cao, Zining ^{[1
,2
]}

机构：

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

[2] Shanghai Aircraft Design & Res Inst, State Key Lab Civil Aircraft Flight Simulat, Shanghai 201210, Peoples R China

来源：

2014 THEORETICAL ASPECTS OF SOFTWARE ENGINEERING CONFERENCE (TASE) | 2014年

基金：

中国国家自然科学基金;

关键词：

process calculus; higher order pi-calculus; bisimulation;

D O I：

10.1109/TASE.2014.15

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper, we present a normal bisimulation for higher order pi-calculus with unguarded choice and prove the coincidence between such normal bisimulation and context bisimulation for higher order pi-calculus with unguarded choice. To achieve this aim, we introduce indexed higher order pi-calculus with unguarded choice. Furthermore we present corresponding indexed bisimulations in this calculus, and prove the equivalence between indexed context bisimulation and indexed normal bisimulation. As an application of this result, we prove the equivalence between context bisimulation and normal bisimulation for higher order pi-calculus with unguarded choice.

引用

页码：213 / 220

页数：8

共 8 条

[1]

[Anonymous], 1980, CALCULUS COMMUNICATI, DOI DOI 10.1007/3-540-10235-3

[2]

[Anonymous], LOGICAL METHODS COMP

[3]

[Anonymous], 1992, THESIS

[4]

Cao ZN, 2006, LECT NOTES COMPUT SC, V3921, P63

[5]

Fu Y., 2006, WORKING PAPER

[6]

MILNER R, 1992, INFORM COMPUT, V100, P1, DOI [10.1016/0890-5401(92)90008-4, 10.1016/0890-5401(92)90009-5]

[7] Bisimulation for higher-order process calculi [J].

Sangiorgi, D .

INFORMATION AND COMPUTATION, 1996, 131 (02) :141-178

[8] PLAIN CHOCS - A 2ND GENERATION CALCULUS FOR HIGHER-ORDER PROCESSES [J].

THOMSEN, B .

ACTA INFORMATICA, 1993, 30 (01) :1-59

← 1 →