5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2011
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Ernesto Pimentel, Valentín Valero
This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting…
cs.SE2010★ 5 cited
Handling Data-Based Concurrency in Context-Aware Service Protocols
Javier Cubo, Ernesto Pimentel, Gwen Salaün +1
Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose…
cs.LO2002
Composing Programs in a Rewriting Logic for Declarative Programming
Juan M. Molina, Ernesto Pimentel
Constructor-Based Conditional Rewriting Logic is a general framework for integrating first-order functional and logic programming which gives an algebraic semantics for non-determi…