An algebraic theory of process efficiency

TitleAn algebraic theory of process efficiency
Publication TypeConference Papers
Year of Publication1996
AuthorsNatarajan V, Cleaveland R
Conference Name, Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings
Date Published1996/07/27/30
ISBN Number0-8186-7463-6
Keywordsalgebraic characterization, algebraic specification, algebraic theory, bisimulation-based efficiency preorders, Calculus, calculus of communicating systems, Carbon capture and storage, Computer science, concurrent systems, formal logic, formal specification, full abstractness result, internal activity, optimality, process efficiency, reasoning, semantic preorders, System testing, testing-based semantic theory

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