PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION

被引：463
|
作者：
BERGSTRA, JA
KLOP, JW
机构：
来源：
INFORMATION AND CONTROL | 1984年 / 60卷 / 1-3期
关键词：
D O I：
10.1016/S0019-9958(84)80025-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：109 / 137
页数：29
相关论文
共 50 条
  • [1] Process Algebra with Local Communication
    van Weerdenburg, Muck
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 215 : 191 - 208
  • [2] A bulk-synchronous parallel process algebra
    Merlin, Armelle
    Hains, Gaetan
    [J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2007, 33 (3-4) : 111 - 133
  • [3] PROCESS ALGEBRA WITH ASYNCHRONOUS COMMUNICATION MECHANISMS
    BERGSTRA, JA
    KLOP, JW
    TUCKER, JV
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 76 - 95
  • [4] Process algebra for agent communication: A general semantic approach
    van Eijk, RM
    de Boer, FS
    van der Hoek, W
    Meyer, JJC
    [J]. COMMUNICATION IN MULTIAGENT SYSTEMS: AGENT COMMUNICATION LANGUAGES AND CONVERSATION POLICIES, 2003, 2650 : 113 - 128
  • [5] ASYNCHRONOUS COMMUNICATION IN REAL-SPACE PROCESS ALGEBRA
    BAETEN, JCM
    BERGSTRA, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 473 - 492
  • [6] Synchronous Kleene algebra
    Prisacariu, Cristian
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 608 - 635
  • [7] Synchronous Communication Media in the Software Requirements Negotiation Process
    Erra, Ugo
    Scanniello, Giuseppe
    [J]. COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, 2009, 5738 : 245 - 252
  • [8] An Algebra of Synchronous Atomic Steps
    Hayes, Ian J.
    Colvin, Robert J.
    Meinicke, Larissa A.
    Winter, Kirsten
    Velykis, Andrius
    [J]. FM 2016: FORMAL METHODS, 2016, 9995 : 352 - 369
  • [9] An Algebra of Synchronous Scheduling Interfaces
    Mendler, Michael
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (46): : 28 - 48
  • [10] Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
    Zaitsev, Dmitry A.
    Shmeleva, Tatiana R.
    Groote, Jan Friso
    [J]. IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2019, 6 (03) : 733 - 742
12345