Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
424217 | Electronic Notes in Theoretical Computer Science | 2008 | 20 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics