| Translated title of the contribution | Algebraic representation of bisimulation for the tagh format |
|---|---|
| Original language | English |
| Number of pages | 17 |
| Volume | Technical report CSR-02-02, TU Eindhoven |
| Publication status | Published - 2002 |
Fields of Science and Technology Classification 2012
- 101 Mathematics
- 102 Computer Sciences