1 results
A note on Coinduction and Weak Bisimilarity for While Programs
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 393-400
- Print publication:
- July 1999
-
- Article
- Export citation