DocumentCode
2720344
Title
An algebraic theory of process efficiency
Author
Natarajan, V. ; Cleaveland, Rance
Author_Institution
Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
fYear
1996
fDate
27-30 Jul 1996
Firstpage
63
Lastpage
72
Abstract
This paper presents a testing-based semantic theory for reasoning about the efficiency of concurrent systems as measured in terms of the amount of their internal activity. The semantic preorders are given an algebraic characterization, and their optimality is established by means of a full abstractness result. They are also shown to subsume existing bisimulation-based efficiency preorders. An example is provided to illustrate the utility of this approach
Keywords
algebraic specification; calculus; calculus of communicating systems; formal logic; formal specification; algebraic characterization; algebraic theory; bisimulation-based efficiency preorders; concurrent systems; full abstractness result; internal activity; optimality; process efficiency; reasoning; semantic preorders; testing-based semantic theory; Carbon capture and storage; Computer science; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location
New Brunswick, NJ
ISSN
1043-6871
Print_ISBN
0-8186-7463-6
Type
conf
DOI
10.1109/LICS.1996.561304
Filename
561304
Link To Document