31 citations · 88 across the 8 of their papers we have counts for
1 paper · 1 filter
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusa…