activity
20022011
most citedHandling Data-Based Concurrency in Context-Aware Service Protocols

5 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2002Show all

1 paper · 1 filter

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…