Sampling, Splitting and Merging in Coinductive stream Caculus

M. Niqui; J.J.M.M. Rutten

Sampling, Splitting and Merging in Coinductive stream Caculus

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

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

Original language	English
Pages (from-to)	310-330
Journal	Lecture Notes in Computer Science
Volume	6120
Publication status	Published - 2010
Event	MPC2010 - Duration: 1 Jan 2010 → 1 Jan 2010

Bibliographical note

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

Handle.net

Persistent link

Cite this

@article{5a0e184862324a6992700768ffbe62a6,

title = "Sampling, Splitting and Merging in Coinductive stream Caculus",

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

note = "Proceedings title: Proceedings of Mathematics of Program Construction (MPC2010) Publisher: Springer; MPC2010 ; Conference date: 01-01-2010 Through 01-01-2010",

year = "2010",

language = "English",

volume = "6120",

pages = "310--330",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

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) Publisher: Springer

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

ER -