An operational semantics for distributed lazy evaluation

1. Sánchez-Gil, L.
2. Hidalgo-Herrero, M.
3. Ortega-Mallén, Y.