Testing Equivalence for Asymmetric x-Calculus

Z. Zhu and F. Zhong


Process Algebra, χ Process, Testing Equivalence, Axioma tization


We study testing equivalence for asymmetric χ-calculus in this paper. Our focus is to introduce a proof system in cluding the laws for both strong observational equivalence and invisible actions. Soundness and completeness of the proof system w.r.t a testing preorder is presented that takes advantage of reductions of processes to normal forms.

Important Links:

Go Back