Sciweavers

CONCUR
2000
Springer

Chi Calculus with Mismatch

14 years 4 months ago
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.
Yuxi Fu, Zhenrong Yang
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CONCUR
Authors Yuxi Fu, Zhenrong Yang
Comments (0)