%0 Journal Article
%A Hidalgo Herrero, Mercedes
%A Ortega Mallén, Yolanda
%T Dealing Denotationally With Stream-based Communication
%D 2005
%@ 15710661
%U https://hdl.handle.net/20.500.14352/50232
%X 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.
%~