A coinductive calculus of streams

J.J.M.M. Rutten

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

237 Downloads (Pure)

Original language	English
Pages (from-to)	93-147
Journal	Mathematical Structures in Computer Science (MSCS)
Volume	15
DOIs	https://doi.org/10.1017/S0960129504004517
Publication status	Published - 2005

Rut05b

Access to Document

@article{0dca07c4d43b44469909b3d40b26ec55,

title = "A coinductive calculus of streams",

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

note = "Rut05b ",

year = "2005",

doi = "10.1017/S0960129504004517",

language = "English",

volume = "15",

pages = "93--147",

journal = "Mathematical Structures in Computer Science (MSCS)",

issn = "0960-1295",

publisher = "Cambridge University Press",

}