Mercedes Hidalgo Herrero

To be or not to be. . . lazy (In a Parallel Context)1

Mercedes Hidalgo Herrero, Yolanda Ortega Mallén, 2009 .

An Operational Semantics for the Parallel Language Eden.

Mercedes Hidalgo Herrero, Yolanda Ortega Mallén, 2002 .

A Distributed Operational Semantics for a Parallel Functional Language

Mercedes Hidalgo Herrero, Yolanda Ortega Mallén, 2000 .

Dealing Denotationally With Stream-based Communication

Mercedes Hidalgo Herrero, Yolanda Ortega Mallén, 2005 .

Properties of an operational semantics for distributed lazy evaluation

Mercedes Hidalgo Herrero, Yolanda Ortega Mallén, Lidia Sánchez Gil, 2009 .

Semánticas formales para un lenguaje funcional paralelo

Mercedes Hidalgo Herrero, 2004 .

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

José Alberto Verdejo López, Mercedes Hidalgo Herrero, Yolanda Ortega Mallén, 2007 .

Continutation Semantics for Parallel Haskell Dialects.

Mercedes Hidalgo Herrero, Yolanda Ortega Mallén, 2003 .