Original language | English |
---|---|
Pages (from-to) | 443-481 |
Journal | Theoretical Computer Science |
Volume | 343 |
Issue number | 3 |
DOIs | |
Publication status | Published - 2005 |
A tutorial on coinductive stream calculus and signal flow graphs
J.J.M.M. Rutten
Research output: Contribution to Journal › Article › Academic › peer-review