An application of coinductive stream calculus to signal flow graphs

J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)276-291
JournalLecture Notes in Computer Science
Publication statusPublished - 2004

Bibliographical note

Proceedings title: Proceedings of FMCO 2003
Publisher: Springer
Editors: F.S. de Boer, M.M. Bonsangue, S. Graf, W.P. de Roever

Cite this