A tutorial on coinductive stream calculus and signal flow graphs

J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)443-481
JournalTheoretical Computer Science
Volume343
Issue number3
DOIs
Publication statusPublished - 2005

Bibliographical note

Rut05c

Cite this