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