2005
On the bisimulation congruence in chi-calculus
Publication
Publication
Presented at the
IARCS Annual Conference on the Foundations of Software Technology and Theoretical Computer Science, Hyderabad, INDIA
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
IARCS Annual Conference on the Foundations of Software Technology and Theoretical Computer Science | |
Organisation | 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. |