TY  - JOUR
AU  - Martí Oliet, Narciso
AU  - Verdejo López, José Alberto
AU  - Martín Sánchez, Óscar
PY  - 2023
DO  - 10.1017/S1471068423000340
UR  - https://hdl.handle.net/20.500.14352/88454
T2  - Theory and Practice of Logic Programming
AB  - In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on compositional...
LA  - eng
PB  - Cambridge University Press
KW  - Rewriting logic
KW  - Modularity
KW  - Verification
KW  - Assume/guarantee
KW  - Abstration
KW  - Simulation
KW  - Maude
TI  - Compositional Verification in Rewriting Logic
TY  - journal article
ER  -