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

More articles like this

Algebraic simulations

on The Journal of Logic and Algeb... Jan 01, 2010

Dynamical algebraic multi-grid in simulations of f...

on Computer Physics Communication... Jan 01, 1994
More articles like this..