%0 Book Section
%T A Distributed Operational Semantics for a Parallel Functional Language
publisher Intellect Books
%D 2000
%U 1-84150-058-5
%@ https://hdl.handle.net/20.500.14352/60592
%X We present an operational semantics for a functional parallel language with explicit process creation and implicit message-passing communication. The semantics is based on a distributed memory model and is effective for investigating the interplay between laziness and eagerness in the language, as well as for measuring speculative parallelism.
%~