Springer
Lecture Notes in Computer Science
IARCS Annual Conference on the Foundations of Software Technology and Theoretical Computer Science
Specification and Analysis of Embedded Systems

Chen, T., Han, T.& Lu, J. (2005). On the bisimulation congruence in chi-calculus. Proceedings of the 25th IARCS Annual Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 128–139.