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