RT Journal Article T1 Dealing Denotationally With Stream-based Communication A1 Hidalgo Herrero, Mercedes A1 Ortega Mallén, Yolanda AB We define a denotational semantics for a kernel-calculus of the parallel functional language Eden.We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for communication, and their modelization by a denotational semantics is not direct because a stream may be infinite. PB Elsevier SN 15710661 YR 2005 FD 2005 LK https://hdl.handle.net/20.500.14352/50232 UL https://hdl.handle.net/20.500.14352/50232 LA eng DS Docta Complutense RD 7 abr 2025