M. Niqui, J.J.M.M. Rutten
Research output: Contribution to Journal › Article › Academic › peer-review
Sampling, Splitting and Merging in Coinductive stream Caculus. / Niqui, M.; Rutten, J.J.M.M.
TY - JOUR
T1 - Sampling, Splitting and Merging in Coinductive stream Caculus
AU - Niqui, M.
AU - Rutten, J.J.M.M.
N1 - Proceedings title: Proceedings of Mathematics of Program Construction (MPC2010)
PY - 2010
Y1 - 2010
M3 - Article
VL - 6120
SP - 310
EP - 330
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
SN - 0302-9743
T2 - MPC2010
Y2 - 1 January 2010 through 1 January 2010