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 条
  • [11] Epistemological obstacles in mathematical abstraction on abstract algebra
    Subroto, Toto
    Suryadi, Didi
    3RD INTERNATIONAL CONFERENCE ON MATHEMATICAL SCIENCES AND STATISTICS, 2018, 1132
  • [12] Bilingualism and symbolic abstraction: Implications for algebra learning
    Mielicki, Marta K.
    Kacinik, Natalie A.
    Wiley, Jennifer
    LEARNING AND INSTRUCTION, 2017, 49 : 242 - 250
  • [13] Body motion, early algebra, and the colours of abstraction
    Nemirovsky, Ricardo
    Ferrara, Francesca
    Ferrari, Giulia
    Adamuz-Povedano, Natividad
    EDUCATIONAL STUDIES IN MATHEMATICS, 2020, 104 (02) : 261 - 283
  • [14] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
    JEFFREY, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
  • [15] On the Cognitive Process of Abstraction
    Shivhare, Radhika
    Kumar, Ch. Aswani
    TWELFTH INTERNATIONAL CONFERENCE ON COMMUNICATION NETWORKS, ICCN 2016 / TWELFTH INTERNATIONAL CONFERENCE ON DATA MINING AND WAREHOUSING, ICDMW 2016 / TWELFTH INTERNATIONAL CONFERENCE ON IMAGE AND SIGNAL PROCESSING, ICISP 2016, 2016, 89 : 243 - 252
  • [16] STUDIES IN THE ABSTRACTION PROCESS
    ERICKSEN, SC
    PSYCHOLOGICAL MONOGRAPHS, 1962, 76 (18): : 1 - 28
  • [17] MUSIC AND THE PROCESS OF ABSTRACTION
    Rapoport, Anatol
    ETC-REVIEW OF GENERAL SEMANTICS, 1947, 4 (03): : 182 - 195
  • [18] ‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’
    Flavio Corradini
    Marco Pistore
    Acta Informatica, 2001, 37 : 467 - 509
  • [19] 'Closed interval process algebra' versus 'Interval process algebra'
    Corradini, F
    Pistore, M
    ACTA INFORMATICA, 2001, 37 (07) : 467 - 510
  • [20] Mobi algebra as an abstraction to the unit interval and its comparison to rings
    Fatelo, J. P.
    Martins-Ferreira, N.
    COMMUNICATIONS IN ALGEBRA, 2019, 47 (03) : 1197 - 1214
12345