Sciweavers

CONCUR
2000
Springer
13 years 9 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 congruenc...
Yuxi Fu, Zhenrong Yang