An application of coinductive stream calculus to signal flow graphs

J.J.M.M. Rutten

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	276-291
Journal	Lecture Notes in Computer Science
Volume	3188
Publication status	Published - 2004

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

Persistent URL (handle)

@article{89238da679074d9f850a42f29b0b2934,

title = "An application of coinductive stream calculus to signal flow graphs",

author = "J.J.M.M. Rutten",

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

year = "2004",

language = "English",

volume = "3188",

pages = "276--291",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - An application of coinductive stream calculus to signal flow graphs

AU - Rutten, J.J.M.M.

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

PY - 2004

Y1 - 2004

M3 - Article

SN - 0302-9743

VL - 3188

SP - 276

EP - 291

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -