| Original language | English |
|---|
| Place of Publication | Århus |
|---|---|
| Publisher | BRICS - Aarhus University |
| Publication status | Published - 2002 |
| Series | BRICS Research Report |
|---|---|
| Number | RS-02-25 |
| ISSN | 0909-3078 |
Deciding Framed Bisimilarity
Research output: Book/Report › Book › Research