Download citation
A note on
Coinduction and Weak Bisimilarity
for While Programs
J.J.M.M. Rutten
Theoret. Informatics Appl. 33 (4/5) 393-400 (1999)
DOI: 10.1051/ita:1999125
| Download this article citation: |
Back to article
|
Download citation
A note on
Coinduction and Weak Bisimilarity
for While Programs
J.J.M.M. Rutten Theoret. Informatics Appl. 33 (4/5) 393-400 (1999) DOI: 10.1051/ita:1999125
Back to article |