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
