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
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;
Conference_Titel :
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location :
New Brunswick, NJ
Print_ISBN :
0-8186-7463-6
DOI :
10.1109/LICS.1996.561304
