( en | de | ru )

 

Disambiguation of "Ortega-Mallén, Yolanda"

Author of the publication

copydeleteadd this publication to your clipboard
The Role of Indirections in Lazy Natural Semantics.

, , and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 288-303. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

German Mallén

Yolanda Tschalär

Alfonso Ortega

Alcides Ortega

Yolanda Demetriou

 

Other publications of authors with the same name

Analyzing the influence of mixed evaluation on the performance of Eden skeletons., , and . Parallel Comput., 32 (7-8): 523-538 (2006)A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation., , and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 105-119. Springer, (2012)Parallelism Abstractions in Eden., , , , and . Patterns and Skeletons for Parallel and Distributed Computing, Springer, (2003)Rule Formats for Nominal Process Calculi., , , , and . CoRR, (2024)To be or not to be ...lazy (In a Parallel Context)., and . PROLE, volume 258 of Electronic Notes in Theoretical Computer Science, page 21-39. Elsevier, (2009)Relating function spaces to resourced function spaces., , and . SAC, page 1301-1308. ACM, (2011)Operational Semantics for Timed Observations.. FTRTFT, volume 571 of Lecture Notes in Computer Science, page 507-527. Springer, (1992)The Role of Indirections in Lazy Natural Semantics., , and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 288-303. Springer, (2014)Dealing Denotationally With Stream-based Communication., and . PROLE, volume 137 of Electronic Notes in Theoretical Computer Science, page 47-68. Elsevier, (2004)Timed Observations: A Semantic Model for Real-Time Concurrency., and . Programming Concepts and Methods, page 125-154. North-Holland, (1990)