Algebraic Stuttering Simulations

Narciso Martí-Oliet, José Meseguer, Miguel Palomino

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish (US)
Pages (from-to)91-110
Number of pages20
JournalElectronic Notes in Theoretical Computer Science
Volume206
Issue numberC
DOIs
StatePublished - Apr 8 2008

Keywords

  • Rewriting logic
  • category
  • representability
  • simulation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Algebraic Stuttering Simulations'. Together they form a unique fingerprint.

Cite this