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. |
|