Chi Calculus with Mismatch

The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruence. Complete systems are given for both congruence relations. These systems use some new tau laws. The results of this paper correct some popular mistakes in literature.

• Type: Conference
• Year: 2000
• Where: CONCUR
• Authors: Yuxi Fu, Zhenrong Yang
• Keywords: CONCUR 2000, Congruence Relations, Distributed And Parallel Computing, Open Congruence, Open Congruence Relations