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 条
  • [21] Higher-Order Lagrangian Equations of Higher-Order Motive Mechanical System
    ZHAO Hong-Xia MA Shan-Jun SHI Yong College of Physics and Communication Electronics
    [J]. Communications in Theoretical Physics, 2008, 49 (02) : 479 - 481
  • [22] Higher-order lazy narrowing calculus: A solver for higher-order equations
    Ida, T
    Marin, M
    Suzuki, T
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
  • [23] HIGHER-ORDER DIFFERENTIAL-EQUATIONS AND HIGHER-ORDER LAGRANGIAN MECHANICS
    CRAMPIN, M
    SARLET, W
    CANTRIJN, F
    [J]. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1986, 99 : 565 - 587
  • [24] Partial recursive functions in Higher-Order Logic
    Krauss, Alexander
    [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
  • [25] Recursive marginal quantization of higher-order schemes
    McWalter, T. A.
    Rudd, R.
    Kienitz, J.
    Platen, E.
    [J]. QUANTITATIVE FINANCE, 2018, 18 (04) : 693 - 706
  • [26] Polymorphic higher-order recursive path orderings
    Jouannaud, Jean-Pierre
    Rubio, Albert
    [J]. JOURNAL OF THE ACM, 2007, 54 (01)
  • [27] Certified higher-order recursive path ordering
    Koprowski, Adam
    [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 227 - 241
  • [28] Lifting Recursive Counterexamples to Higher-Order Arithmetic
    Sanders, Sam
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 249 - 267
  • [29] Poisson-type processes governed by fractional and higher-order recursive differential equations
    Beghin, L.
    Orsingher, E.
    [J]. ELECTRONIC JOURNAL OF PROBABILITY, 2010, 15 : 684 - 709
  • [30] A RECURSIVE GENERATION OF LOCAL HIGHER-ORDER SINE-GORDON EQUATIONS AND THEIR BACKLUND TRANSFORMATION
    BOITI, M
    LEON, JJP
    PEMPINELLI, F
    [J]. JOURNAL OF MATHEMATICAL PHYSICS, 1984, 25 (06) : 1725 - 1734
12345