A distributed operational semantics for a parallel functional language
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén · Library Open Repository (Universidad Complutense Madrid) · 2000
: 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. 8.1