2 papers
cs.LO2023
Compositional Verification in Rewriting Logic
Ó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…
cs.LO2019
Compositional specification in rewriting logic
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to a…