π-calculus models of synchronous and asynchronous message passing (Extended abstract)

被引：0
|
作者：
Potter, JM [1 ]
Zic, JJ [1 ]
Liu, AYW [1 ]
机构：
[1] Macquarie Univ, Microsoft Res Inst, MPCE, Sydney, NSW 2109, Australia
来源：
FORMAL METHODS PACIFIC '97 | 1997年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：309 / 310
页数：2
相关论文
共 50 条
  • [41] Byzantine lattice agreement in synchronous message passing systems
    Electrical and Computer Engineering, University of Texas, Austin
    TX, United States
    Leibniz Int. Proc. Informatics, LIPIcs,
  • [42] Message Passing for Collective Graphical Models
    Sun, Tao
    Sheldon, Daniel
    Kumar, Akshat
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 37, 2015, 37 : 853 - 861
  • [43] Approximate Message Passing-Based Detection for Asynchronous NOMA
    Lin, Xincong
    Kuang, Linling
    Ni, Zuyao
    Jiang, Chunxiao
    Wu, Sheng
    IEEE COMMUNICATIONS LETTERS, 2020, 24 (03) : 534 - 538
  • [44] Simulating shared memory primitives in asynchronous message passing systems
    Univ of Nevada, Las Vegas, United States
    Comput Syst Sci Eng, 2 (75-83):
  • [45] LOGICALLY INSTANTANEOUS MESSAGE-PASSING IN ASYNCHRONOUS DISTRIBUTED SYSTEMS
    SONEOKA, T
    IBARAKI, T
    IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (05) : 513 - 527
  • [46] TERMINATION FOR DISTRIBUTED SYSTEMS WITH ASYNCHRONOUS MESSAGE PASSING - MODEL AND COST
    ROZOY, B
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1988, 7 (01): : 1 - 23
  • [47] Energy consumption reduction for asynchronous message-passing applications
    Fanfakh, Ahmed
    Charr, Jean-Claude
    Couturier, Raphael
    Giersch, Arnaud
    JOURNAL OF SUPERCOMPUTING, 2017, 73 (06): : 2369 - 2401
  • [48] Race analysis of traces of asynchronous message-passing programs
    Tai, KC
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1997, : 261 - 268
  • [49] A TLA plus Module for Asynchronous Message-Passing Systems
    House, Amy
    Tang, Peiyi
    IEEE SOUTHEASTCON 2018, 2018,
  • [50] Detection of Asynchronous Message Passing Errors Using Static Analysis
    Christakis, Maria
    Sagonas, Konstantinos
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2011, 6539 : 5 - 18
12345