31 citations · 80 across the 5 of their papers we have counts for
6 papers · 1 filter
The Maude strategy language
Steven Eker, Narciso Martí-Oliet, José Meseguer +2
Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this fo…
Metalevel transformation of strategies
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
In the reflective Maude specification language, based on rewriting logic, a strategy language has been introduced to control rule rewriting while avoiding complex and verbose metal…
Simulating and model checking membrane systems using strategies in Maude
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although th…
Strategies, model checking and branching-time properties in Maude
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
Rewriting logic and its implementation Maude are a natural and expressive framework for the specification of concurrent systems and logics. Its nondeterministic local transformatio…
Model checking strategy-controlled systems in rewriting logic
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
Rewriting logic and its implementation Maude are an expressive framework for the formal specification and verification of software and other kinds of systems. Concurrency is natura…
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…