The Ground Congruence for Chi Calculus
Yuxi Fu5 and Zhenrong Yang5
| (5) |
Department of Computer Science, Shanghai Jiaotong University, 200030 Shanghai, China |
Abstract
The definition of open bisimilarity on the x-processes does not give rise to a sensible relation on the x-processes with the mismatch operator. The paper proposes ground open congruence as a principal open congruence on the x-processes with the mismatch operator. The algebraic properties of the ground congruence is studied. The paper also takes
a close look at barbed congruence. This relation is similar to the ground congruence. The precise relationship between the
two is worked out. It is pointed out that the sound and complete system for the ground congruence can be obtained by removing
one tau law from the complete system for the barbed congruence.
The author is funded by NNSFC (69873032) and 863 Hi-Tech Project (863-306-ZT06-02-2). He is also supported by BASICS, Center
of Basic Studies in Computing Science, sponsored by Shanghai Education Committee. BASICS is affiliated to the Department of
Computer Science at Shanghai Jiaotong University.
References secured to subscribers.