5
Publications
246
Citations
5
H-Index
2002
Active since
Affiliations
Yolanda Ortega-Mallén is an author at Universidad Complutense de Madrid specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceParallel ComputingDistributed SystemsParallel ProgrammingLanguageCompilersSemanticsLinguistics
Publications per year
2002–2007
5
5
The Eden coordination model for distributed memory systems
Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén et al. · 2002 · 36 citations
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén · Electronic Notes in Theoretical Computer Science · 2007 · 14 citations · Full text
Parallelism Eden, Philosophy Of Language, Declarative Programming +14
Rows per page
1–5 of 5