Hidalgo Herrero, MercedesOrtega Mallén, Yolanda2023-06-202023-06-2020051571066110.1016/j.entcs.2005.01.039https://hdl.handle.net/20.500.14352/50232We 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.engjournal articlehttp://www.sciencedirect.com/science/article/pii/S1571066105050826http://www.sciencedirect.comrestricted access004.42Denotational semanticsContinuation semanticsLazinessparallel programmingFunctional programmingEden.Programación de ordenadores (Informática)1203.23 Lenguajes de Programación