Priority and abstraction in process algebra

被引：0
|
作者：
Natarajan, V [1 ]
Christoff, I [1 ]
Christoff, L [1 ]
Cleaveland, R [1 ]
机构：
[1] UNIV UPPSALA, DEPT COMP SYST, UPPSALA, SWEDEN
来源：
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE | 1994年 / 880卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper defines a behavioral equivalence based on the notion of weak observational equivalence for processes in which actions may take priority over other actions. The largest congruence contained in this relation is then identified and given a complete equational axiomatization for finite processes. An example illustrates the utility of this equivalence which, in contrast with other equivalences for systems with priorities, abstracts from internal computation.
引用
收藏
页码：217 / 230
页数：14
相关论文
共 50 条
  • [31] Lasa: Abstraction and Specialization for Productive and Performant Linear Algebra on FPGAs
    Hao, Xiaochen
    Zhang, Mingzhe
    Sun, Ce
    Tao, Zhuofu
    Rong, Hongbo
    Zhang, Yu
    He, Lei
    Petit, Eric
    Chen, Wenguang
    Liang, Yun
    [J]. 2023 IEEE 31ST ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM, 2023, : 34 - 40
  • [32] Concerning the Psychology of the Abstraction process
    Weigl, Egon
    [J]. ZEITSCHRIFT FUR PSYCHOLOGIE UND PHYSIOLOGIE DER SINNESORGANE, 1927, 103 : 257 - 322
  • [33] AN INTRODUCTION TO PROCESS ALGEBRA
    KOYMANS, CPJ
    VRANCKEN, JLM
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 847
  • [34] Hybrid process algebra
    Cuijpers, PJL
    Reniers, MA
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005, 62 (02): : 191 - 245
  • [35] Polynomial process algebra
    Liu, Bai
    Wu, Jinzhao
    [J]. PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 3004 - 3007
  • [36] Symmetry in process algebra
    Jiang, Jianmin
    Wu, Jinzhao
    Shu, Hongping
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 450 - +
  • [37] Resources in process algebra
    Lee, Insup
    Philippou, Anna
    Sokolsky, Oleg
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 72 (01): : 98 - 122
  • [38] PROCESS ALGEBRA WITH GUARDS
    GROOTE, JF
    PONSE, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 235 - 249
  • [39] Process Algebra as Modelling
    Tofts, Chris
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 323 - 326
  • [40] A Generic Process Algebra
    Baeten, Jos C. M.
    Bravetti, Mario
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 65 - 71
12345