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…