In previous work, summarized in this paper, we proposed an operation of
...
We propose B Maude, a prototype executable environment for the Abstract
...
Rewriting logic is both a flexible semantic framework within which widel...
Rewriting logic is naturally concurrent: several subterms of the state t...