An algebraic theory of process efficiency
| Title | An algebraic theory of process efficiency |
| Publication Type | Conference Papers |
| Year of Publication | 1996 |
| Authors | Natarajan V, Cleaveland R |
| Conference Name | , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings |
| Date Published | 1996/07/27/30 |
| Publisher | IEEE |
| ISBN Number | 0-8186-7463-6 |
| Keywords | algebraic 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 |
| 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 |
| DOI | 10.1109/LICS.1996.561304 |