Recursive equations in higher-order process calculi

被引：1

作者：

Ying, MS ^{[1
]}

Wirsing, M

机构：

[1] Tsinghua Univ, Dept Comp Sci & Technol, State Key Lab Intelligent Technol & Syst, Beijing 100084, Peoples R China

[2] Univ Munich, Inst Informat, D-80538 Munich, Germany

来源：

THEORETICAL COMPUTER SCIENCE | 2001年 / 266卷 / 1-2期

关键词：

D O I：

10.1016/S0304-3975(00)00378-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. and Comput. 116 (1995) 38) introduced context and higher-order bisimulations, respectively. In this paper, uniqueness of solutions of equations with respect to strong context and higher-order bisimilarities and compatibility of strong context and higher-order bisimilarities with recursive definitions are shown. (C) 2001 Elsevier Science B.V. All rights reserved.

引用

页码：839 / 852

页数：14

共 50 条

[1] BISIMULATION IN HIGHER-ORDER PROCESS CALCULI
SANGIORGI, D
[J]. PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 207 - 224
[2] Bisimulation for higher-order process calculi
Sangiorgi, D
[J]. INFORMATION AND COMPUTATION, 1996, 131 (02) : 141 - 178
[3] AUTOMATIC AUTOPROJECTION OF HIGHER-ORDER RECURSIVE EQUATIONS
BONDORF, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 432 : 70 - 87
[4] AUTOMATIC AUTOPROJECTION OF HIGHER-ORDER RECURSIVE EQUATIONS
BONDORF, A
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1991, 17 (1-3) : 3 - 34
[5] On the expressiveness and decidability of higher-order process calculi
Lanese, Ivan
Perez, Jorge A.
Sangiorgi, Davide
Schmitt, Alan
[J]. INFORMATION AND COMPUTATION, 2011, 209 (02) : 198 - 226
[6] On the expressiveness and decidability of higher-order process calculi
Lanese, Ivan
Perez, Jorge A.
Sangiorgi, Davide
Schmitt, Alan
[J]. TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 145 - +
[7] Contextual Labelled Semantics for Higher-order Process Calculi
Li, Yongjian
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 138 (01) : 61 - 77
[8] Towards a theory of bisimulation for the higher-order process calculi
Yong-Jian Li
Xin-Xin Liu
[J]. Journal of Computer Science and Technology, 2004, 19 : 352 - 363
[9] Towards a theory of bisimulation for the higher-order process calculi
Li, YJ
Liu, XX
[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03): : 352 - 363
[10] Asynchronous process calculi: the first- and higher-order paradigms
Sangiorgi, D
[J]. THEORETICAL COMPUTER SCIENCE, 2001, 253 (02) : 311 - 350

← 1 2 3 4 5 →