, ,
Theoretical Informatics and Applications
International Workshop on Fixed Points in Computer Science
Computer Security

Rutten, J. (1999). A note on coinduction and weak bisimilarity for while programs. Theoretical Informatics and Applications, 33(4-5), 393–400.