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.

Statistics

Seen <100 times
0 Comments