ASYNCHRONOUS COMMUNICATION IN REAL-SPACE PROCESS ALGEBRA

被引：0
|
作者：
BAETEN, JCM
BERGSTRA, JA
机构：
[1] CWI, DEPT SOFTWARE TECHNOL, 1009 AB AMSTERDAM, NETHERLANDS
[2] UNIV AMSTERDAM, PROGRAMMING RES GRP, 1009 DB AMSTERDAM, NETHERLANDS
[3] UNIV UTRECHT, DEPT PHILOSOPHY, 3584 CS UTRECHT, NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 571卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A version of classical real space process algebra is given in which messages travel with constant speed through a three-dimensional medium. It follows that communication is asynchronous and has a broadcasting character. A state operator is used to describe asynchronous message transfer and a priority mechanism allows to express the broadcasting mechanism. As an application, a protocol is specified in which the receiver moves with respect to the sender.
引用
收藏
页码：473 / 492
页数：20
相关论文
共 50 条
  • [1] PROCESS ALGEBRA WITH ASYNCHRONOUS COMMUNICATION MECHANISMS
    BERGSTRA, JA
    KLOP, JW
    TUCKER, JV
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 76 - 95
  • [2] A REAL-SPACE COMPUTER-BASED SYMMETRY ALGEBRA
    ALTERMATT, UD
    BROWN, ID
    [J]. ACTA CRYSTALLOGRAPHICA SECTION A, 1987, 43 : 125 - 130
  • [3] REAL SPACE PROCESS ALGEBRA
    BAETEN, JCM
    BERGSTRA, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 96 - 110
  • [4] Real-space surface crystallography
    Rabalais, JW
    [J]. AMERICAN LABORATORY, 2001, 33 (14) : 13 - 16
  • [5] On the symmetry of real-space renormalisation
    Brody, DC
    Ritz, A
    [J]. NUCLEAR PHYSICS B, 1998, 522 (03) : 588 - 604
  • [6] OPTIMAL REAL-SPACE RENORMALIZATION
    WITTEN, TA
    PRENTIS, JJ
    [J]. JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1981, 14 (02): : 447 - 457
  • [7] Real-Space Evolutionary Annealing
    Lockett, Alan J.
    Miikkulainen, Risto
    [J]. GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2011, : 1179 - 1186
  • [8] A real-space cellular automaton laboratory
    Rozier, Olivier
    Narteau, Clement
    [J]. EARTH SURFACE PROCESSES AND LANDFORMS, 2014, 39 (01) : 98 - 109
  • [9] Real-space probe for lattice quasiholes
    Umucalilar, R. O.
    [J]. PHYSICAL REVIEW A, 2018, 98 (06)
  • [10] REAL-SPACE RENORMALIZATION IN THE PERCOLATION PROBLEM
    SHAPIRO, B
    [J]. JOURNAL OF PHYSICS C-SOLID STATE PHYSICS, 1979, 12 (16): : 3185 - 3195
12345