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 条
  • [31] PHYSICS OF REAL-SPACE TRANSFER TRANSISTORS
    KIZILYALLI, IC
    HESS, K
    [J]. JOURNAL OF APPLIED PHYSICS, 1989, 65 (05) : 2005 - 2013
  • [32] Real-space collapse of a polariton condensate
    Dominici, L.
    Petrov, M.
    Matuszewski, M.
    Ballarini, D.
    De Giorgi, M.
    Colas, D.
    Cancellieri, E.
    Fernandez, B. Silva
    Bramati, A.
    Gigli, G.
    Kavokin, A.
    Laussy, F.
    Sanvitto, D.
    [J]. NATURE COMMUNICATIONS, 2015, 6
  • [33] Area law and real-space renormalization
    Ferris, Andrew J.
    [J]. PHYSICAL REVIEW B, 2013, 87 (12):
  • [34] MOLECULAR REPLACEMENT REAL-SPACE AVERAGING
    ROSSMANN, MG
    MCKENNA, R
    TONG, L
    XIA, D
    DAI, JB
    WU, H
    CHOI, HK
    LYNCH, RE
    [J]. JOURNAL OF APPLIED CRYSTALLOGRAPHY, 1992, 25 : 166 - 180
  • [35] A REAL-SPACE APPROACH TO ELECTRONIC TRANSPORT
    MAYOU, D
    KHANNA, SN
    [J]. JOURNAL DE PHYSIQUE I, 1995, 5 (09): : 1199 - 1211
  • [36] Body partitioning and real-space blends
    Dudis, PG
    [J]. COGNITIVE LINGUISTICS, 2004, 15 (02) : 223 - 238
  • [37] Real-space refinement using RSRef
    Blanc, E
    Chen, Z
    Chapman, MS
    [J]. DIRECT METHODS FOR SOLVING MACROMOLECULAR STRUCTURES, 1998, 507 : 513 - 519
  • [38] Real-space entanglement of quantum fields
    Martin, Jerome
    Vennin, Vincent
    [J]. PHYSICAL REVIEW D, 2021, 104 (08)
  • [39] REAL-SPACE DIELECTRIC RESPONSE IN SEMICONDUCTORS
    ORTUNO, M
    INKSON, JC
    [J]. JOURNAL OF PHYSICS C-SOLID STATE PHYSICS, 1979, 12 (06): : 1065 - 1071
  • [40] Real-Space Mapping of Hole Plasmons
    Kim, Deok-Soo
    Kim, Zee Hwan
    [J]. BULLETIN OF THE KOREAN CHEMICAL SOCIETY, 2014, 35 (03): : 953 - 954
12345