Compositional specification in rewriting logic

30 Jan 2020 Martín Óscar Verdejo Alberto Martí-Oliet Narciso

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... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE