Affordable Access

Publisher Website

Algebraic Stuttering Simulations

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
206
Identifiers
DOI: 10.1016/j.entcs.2008.03.077
Keywords
  • Rewriting Logic
  • Simulation
  • Category
  • Representability

Abstract

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.

There are no comments yet on this publication. Be the first to share your thoughts.