TY  - JOUR
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
AU  - Martín Sánchez, Óscar
PY  - 2019
DO  - 10.1017/S1471068419000425
UR  - https://hdl.handle.net/20.500.14352/94870
T2  - Theory and Practice of Logic Programming
AB  - 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 achieve.Compositionality here means being able to decompose a complex...
LA  - eng
M2  - 44
PB  - Cambridge University Press
KW  - Compositional specification
KW  - Rewriting logic
KW  - Modularity
KW  - Synchronous product
TI  - Compositional specification in rewriting logic
TY  - journal article
VL  - 20
ER  -