TY - CONF
T1 - An algebraic theory of process efficiency
T2 - , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings
Y1 - 1996
A1 - Natarajan,V.
A1 - Cleaveland, Rance
KW - algebraic characterization
KW - algebraic specification
KW - algebraic theory
KW - bisimulation-based efficiency preorders
KW - Calculus
KW - calculus of communicating systems
KW - Carbon capture and storage
KW - Computer science
KW - concurrent systems
KW - formal logic
KW - formal specification
KW - full abstractness result
KW - internal activity
KW - optimality
KW - process efficiency
KW - reasoning
KW - semantic preorders
KW - System testing
KW - testing-based semantic theory
AB - 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
JA - , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings
PB - IEEE
SN - 0-8186-7463-6
M3 - 10.1109/LICS.1996.561304
ER -