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. In Proceedings of the 25th IARCS Annual Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (pp. 128–139). Springer.