31 citations · 82 across the 6 of their papers we have counts for
6 papers
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…
A Simple Rewrite System for the Normalization of Linear Temporal Logic
Javier Esparza, Ruben Rubio, Salomon Sickert
In the mid 80s, Lichtenstein, Pnueli, and Zuck showed that every formula of Past LTL (the extension of Linear Temporal Logic with past operators) is equivalent to a conjunction of…