Equations for message passing

被引:0
|
作者
Czaja, Ludwik [1 ]
机构
[1] Warsaw Univ, Inst Informat, PL-02097 Warsaw, Poland
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A specification of systems based on message passing paradigm is proposed. To this end, an algebraic structure called a semiring of formal polynomials with restricted idempotency of multiplication is taken and fix-point equations specifying (parallel) systems are constructed. Their solution provides an "implementation" of the system, in particular, a Petri net of various kind. Moreover, it determines a global information on capability of sending or receiving a message by objects from a local information on their readiness to do this.
引用
收藏
页码:81 / 93
页数:13
相关论文
共 50 条
  • [1] Equations for Asynchronous Message Passing
    Czaja, Ludwik
    [J]. FUNDAMENTA INFORMATICAE, 2013, 128 (1-2) : 35 - 45
  • [2] Dynamic message-passing equations for models with unidirectional dynamics
    Lokhov, Andrey Y.
    Mezard, Marc
    Zdeborova, Lenka
    [J]. PHYSICAL REVIEW E, 2015, 91 (01)
  • [3] SOLVING SYSTEMS OF NONLINEAR EQUATIONS ON A MESSAGE-PASSING MULTIPROCESSOR
    COLEMAN, TF
    LI, GG
    [J]. SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING, 1990, 11 (06): : 1116 - 1135
  • [4] Passing on the message
    不详
    [J]. VETERINARY RECORD, 2009, 164 (23) : 707 - 707
  • [5] PASSING THE MESSAGE
    CHERRY, M
    [J]. SPAN, 1987, 30 (02): : 55 - 57
  • [6] Partition function expansion on region graphs and message-passing equations
    Zhou, Haijun
    Wang, Chuang
    Xiao, Jing-Qing
    Bi, Zedong
    [J]. JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2011,
  • [7] Entropy Message Passing
    Ilic, Velimir M.
    Stankovic, Miomir S.
    Todorovic, Branimir T.
    [J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 2011, 57 (01) : 375 - 380
  • [8] Are PROMs passing the message?
    Gil-Gouveia, R.
    Oliveira, A.
    [J]. EUROPEAN JOURNAL OF NEUROLOGY, 2023, 30 : 482 - 482
  • [9] MESSAGE PASSING IS NO ANSWER
    SWEAZEY, P
    [J]. ELECTRONIC PRODUCTS MAGAZINE, 1986, 29 (06): : 11 - 11
  • [10] Customized message passing
    Islam, N
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1997, 41 (02) : 205 - 224