A distributed operational semantics for a parallel functional language

@inproceedings{HidalgoHerrero2000ADO,
  title={A distributed operational semantics for a parallel functional language},
  author={Mercedes Hidalgo-Herrero and Yolanda Ortega-Mall{\'e}n},
  booktitle={Scottish Functional Programming Workshop},
  year={2000}
}
We present an operational semantics for a functional parall el l nguage with explicit process creation and implicit message-passi ng communication. The semantics is based on a distributed memory model and is effec tive for investigating the interplay between laziness and eagerness in the lang uage, as well as for measuring speculative parallelism.