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 29 abr 2025