1 results
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 35 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 15 April 2002, pp. 83-111
- Print publication:
- January 2001
-
- Article
- Export citation