ISSN 1386-369XSampling, Splitting and Merging in Coinductive Stream Calculus
by
M. Niqui
,
J. J. M. M. Rutten
,
Milad Niqui
,
Jan Rutten







