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 条

[1] Priority and abstraction in process algebra
Cleaveland, Rance
Luettgen, Gerald
Natarajan, V.
INFORMATION AND COMPUTATION, 2007, 205 (09) : 1426 - 1458
[2] Imperative Process Algebra with Abstraction
Middelburg, C. A.
SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2022, 32 (01) : 137 - 179
[3] An Abstraction Method of Behaviors for Process Algebra
On, Jinho
Choe, Yeongbok
Lee, Moonkun
2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 133 - 138
[4] ABSTRACTION IN REAL-TIME PROCESS ALGEBRA
KLUSENER, AS
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 325 - 352
[5] An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology
Woo, Sujeong
On, Jinho
Lee, Moonkun
2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 128 - 133
[6] Action abstraction in timed process algebra - The case for an untimed silent step
Reniers, Michel A.
van Weerdenburg, Muck
INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4767 : 287 - +
[7] READY-TRACE SEMANTICS FOR CONCRETE PROCESS ALGEBRA WITH THE PRIORITY OPERATOR
BAETEN, JCM
BERGSTRA, JA
KLOP, JW
COMPUTER JOURNAL, 1987, 30 (06): : 498 - 506
[8] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION
BERGSTRA, JA
KLOP, JW
THEORETICAL COMPUTER SCIENCE, 1985, 37 (01) : 77 - 121
[9] Body motion, early algebra, and the colours of abstraction
Ricardo Nemirovsky
Francesca Ferrara
Giulia Ferrari
Natividad Adamuz-Povedano
Educational Studies in Mathematics, 2020, 104 : 261 - 283
[10] Format Abstraction for Sparse Tensor Algebra Compilers
Chou, Stephen
Kjolstad, Fredrik
Amarasinghe, Saman
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (02):

← 1 2 3 4 5 →