TY - JOUR AU - Rutten, J. J. M. M. TI - A note on coinduction and weak bisimilarity for while programs JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1999 DA - 1999/// SP - 393 EP - 400 VL - 33 IS - 4-5 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1999__33_4-5_393_0/ UR - https://zbmath.org/?q=an%3A0945.68073 UR - https://www.ams.org/mathscinet-getitem?mr=1748663 LA - en ID - ITA_1999__33_4-5_393_0 ER -