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 条

[41] AN ALGEBRA FOR PROCESS CREATION
BAETEN, JCM
VAANDRAGER, FW
ACTA INFORMATICA, 1992, 29 (04) : 303 - 334
[42] A Generic Process Algebra
Baeten, Jos C. M.
Bravetti, Mario
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 65 - 71
[43] Process algebra in PVS
Basten, T
Hooman, J
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 270 - 284
[44] Process Opacity for Timed Process Algebra
Gruska, Damas P.
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 151 - 160
[45] Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Bergstra, J. A.
Middelburg, C. A.
FUNDAMENTA INFORMATICAE, 2013, 128 (04) : 367 - 412
[46] Duncan F. Gregory, William Walton and the development of British algebra: 'algebraical geometry', 'geometrical algebra', abstraction
Verburgt, Lukas M.
ANNALS OF SCIENCE, 2016, 73 (01) : 40 - 67
[47] Duncan F. Gregory, William Walton and the development of British algebra: Algebraical geometry, geometrical algebra, abstraction
Verburgt, Lukas M.
Annals of Science, 2016, 73 (01): : 40 - 67
[48] A STUDY ON THE AMBIGUITY OF 'ABSTRACTION' IN THE PROCESS OF GENERALIZATION
Hayata, Toru
PROCEEDINGS OF THE 36TH CONFERENCE OF THE INTERNATIONAL GROUP FOR PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL. 1: OPPORTUNITIES TO LEARN IN MATHEMATICS EDUCATION, 2012, : 239 - 239
[49] POLICY AND PRIORITY IN BUDGETARY PROCESS
NATCHEZ, PB
BUPP, IC
AMERICAN POLITICAL SCIENCE REVIEW, 1973, 67 (03) : 951 - 963
[50] Bridging abstraction layers in process mining
Baier, Thomas
Mendling, Jan
Weske, Mathias
INFORMATION SYSTEMS, 2014, 46 : 123 - 139

← 1 2 3 4 5 →