π-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 条
  • [1] A bridge between the asynchronous message passing model and local computations in graphs (Extended abstract)
    Chalopin, J
    Métivier, Y
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005, PROCEEDINGS, 2005, 3618 : 212 - 223
  • [2] Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems [Extended Abstract]
    Bonomi, Silvia
    Dolev, Shlomi
    Potop-Butucaru, Maria
    Raynal, Michel
    PODC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2015, : 471 - 479
  • [3] MESSAGE PASSING IN CONCURRENT-C - SYNCHRONOUS VERSUS ASYNCHRONOUS
    GEHANI, NH
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (06): : 571 - 592
  • [4] BLOCKCHAIN ABBREVIATION Implemented by Message Passing and Shared Memory (Extended Abstract)
    Amelchenko, Maxim
    Dolev, Shlomi
    2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2017, : 385 - 391
  • [5] Deep Packet Inspection Using Message Passing Networks (Extended Abstract)
    Jain, Divya
    Lakshmi, K. Vasanta
    Shankar, Priti
    RECENT ADVANCES IN INTRUSION DETECTION, RAID 2008, 2008, 5230 : 419 - 420
  • [6] (Almost) all objects are universal in message passing systems (Extended abstract)
    Delporte-Gallet, C
    Fauconnier, H
    Guerraoui, R
    DISTRIBUTED COMPUTING, PROCEEDINGS, 2005, 3724 : 184 - 198
  • [7] Equations for Asynchronous Message Passing
    Czaja, Ludwik
    FUNDAMENTA INFORMATICAE, 2013, 128 (1-2) : 35 - 45
  • [8] MESSAGE PASSING IN SYNCHRONOUS HYPERCUBES
    MCCROSKY, C
    COMPUTING SYSTEMS, 1989, 4 (02): : 89 - 96
  • [9] Semantics for an asynchronous message passing system
    Rajan, A. V. S.
    Bavan, S.
    Abeysinghe, G.
    INNOVATIONS AND ADVANCED TECHNIQUES IN COMPUTER AND INFORMATION SCIENCES AND ENGINEERING, 2007, : 83 - 88
  • [10] A CHARACTERIZATION OF ASYNCHRONOUS MESSAGE-PASSING
    GOREGAOKAR, SR
    ARUNKUMAR, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 270 - 287
12345