Process Algebra with Local Communication

被引：1
|
作者：
van Weerdenburg, Muck [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Math & Comp Sci, POB 513, NL-5600 MB Eindhoven, Netherlands
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 215卷 / 0C期
关键词：
process algebra; local communication; true concurrency; compositionality; synchrony;
D O I：
10.1016/j.entcs.2008.06.028
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In process algebras like mu CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, including communication within that subcomponent. We define a process algebra with an operator for local communication that facilitates component-based architectures. Besides being compositional, this language is aimed to be a more practical language (with respect to closely related languages) and also allows for straightforward modelling of synchronous as well as asynchronous behaviour.
引用
收藏
页码：191 / 208
页数：18
相关论文
共 50 条
  • [1] PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION
    BERGSTRA, JA
    KLOP, JW
    [J]. INFORMATION AND CONTROL, 1984, 60 (1-3): : 109 - 137
  • [2] PROCESS ALGEBRA WITH ASYNCHRONOUS COMMUNICATION MECHANISMS
    BERGSTRA, JA
    KLOP, JW
    TUCKER, JV
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 76 - 95
  • [3] ASYNCHRONOUS COMMUNICATION IN REAL-SPACE PROCESS ALGEBRA
    BAETEN, JCM
    BERGSTRA, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 473 - 492
  • [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] Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
    Dmitry A.Zaitsev
    Tatiana R.Shmeleva
    Jan Friso Groote
    [J]. IEEE/CAA Journal of Automatica Sinica, 2019, 6 (03) : 733 - 742
  • [6] 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
  • [7] The local multiplier algebra of a C*-algebra
    Somerset, DWB
    [J]. QUARTERLY JOURNAL OF MATHEMATICS, 1996, 47 (185): : 123 - 132
  • [8] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
  • [9] A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System
    Wang, Tao
    Shen, Limin
    Ma, Chuan
    [J]. KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2014, 8 (03): : 965 - 983
  • [10] 'Closed interval process algebra' versus 'Interval process algebra'
    Corradini, F
    Pistore, M
    [J]. ACTA INFORMATICA, 2001, 37 (07) : 467 - 510
12345