Sampling, Splitting and Merging in Coinductive stream Caculus

M. Niqui, J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)310-330
JournalLecture Notes in Computer Science
Volume6120
Publication statusPublished - 2010
EventMPC2010 -
Duration: 1 Jan 20101 Jan 2010

Bibliographical note

Proceedings title: Proceedings of Mathematics of Program Construction (MPC2010)
Publisher: Springer

Cite this