31 citations · 68 across the 4 of their papers we have counts for
4 papers
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…