GLOBAL RENAMING OPERATORS IN CONCRETE PROCESS ALGEBRA

被引：43
|
作者：
BAETEN, JCM [1 ]
BERGSTRA, JA [1 ]
机构：
[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,3584 CS UTRECHT,NETHERLANDS
来源：
INFORMATION AND COMPUTATION | 1988年 / 78卷 / 03期
关键词：
D O I：
10.1016/0890-5401(88)90027-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：205 / 245
页数：41
相关论文
共 50 条
  • [1] Extending statecharts with process algebra operators
    Frappier, Marc
    Gervais, Frederic
    Laleau, Regine
    Fraikin, Benoit
    St-Denis, Richard
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 285 - 292
  • [2] A process algebra with global variables
    Bouwman, Mark
    Luttik, Bas
    Schols, Wouter
    Willemse, Tim A. C.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (322): : 33 - 50
  • [3] The renaming of ferroconcrete as reinforced concrete -
    不详
    [J]. ZEITSCHRIFT DES VEREINES DEUTSCHER INGENIEURE, 1942, 86 : 14 - 14
  • [4] Renaming ourselves: The process is as important as the result
    Fabian, N
    [J]. JOURNAL OF ENVIRONMENTAL HEALTH, 2002, 65 (03) : 66 - +
  • [5] On an algebra of pseudodifferential operators
    Bang, KZ
    [J]. SBORNIK MATHEMATICS, 1995, 186 (7-8) : 929 - 940
  • [6] AN ALGEBRA OF UNBOUNDED OPERATORS
    FELL, JMG
    KELLEY, JL
    [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1952, 38 (07) : 592 - 598
  • [7] The algebra of Schur operators
    Liu, Ricky Ini
    Smith, Christian
    [J]. EUROPEAN JOURNAL OF COMBINATORICS, 2020, 87
  • [8] An algebra of integral operators
    Suslov, Sergei K.
    [J]. ELECTRONIC TRANSACTIONS ON NUMERICAL ANALYSIS, 2007, 27 : 140 - 155
  • [9] The Algebra of τ-measurable Operators
    Conradie, Jurie
    Crowther, Charlotte
    [J]. OPERATOR ALGEBRAS, OPERATOR THEORY AND APPLICATIONS, 2010, 195 : 103 - 119
  • [10] AN ALGEBRA OF PSEUDODIFFERENTIAL OPERATORS
    Sjoestrand, Johannes
    [J]. MATHEMATICAL RESEARCH LETTERS, 1994, 1 (02) : 185 - 192
12345