A coinductive calculus of streams

J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

166 Downloads (Pure)
Original languageEnglish
Pages (from-to)93-147
JournalMathematical Structures in Computer Science (MSCS)
Volume15
DOIs
Publication statusPublished - 2005

Bibliographical note

Rut05b

Cite this