Sciweavers

ENTCS
2008

Algebraic Stuttering Simulations

13 years 3 months ago
Algebraic Stuttering Simulations
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion of simulation between Kripke structures, study its categorical aspects, and propose rewriting logic as a framework in which these simulations can be represented. Several representability results showing that rewriting logic is indeed a suitable framework for this purpose are given, and we illustrate its use with two examples.
Narciso Martí-Oliet, José Meseguer,
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Narciso Martí-Oliet, José Meseguer, Miguel Palomino
Comments (0)