Algebraic Stuttering Simulations

Authors:
Narciso Martí-Oliet;José Meseguer;Miguel Palomino
Affiliations:
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid;Computer Science Department, University of Illinois at Urbana-Champaign;Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 15
Cited 0

Characterizing finite Kripke structures in propositional temporal logic

Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
The semantics of programming languages: an elementary introduction using structural operational semantics

The semantics of programming languages: an elementary introduction using structural operational semantics
Rewrite systems

Handbook of theoretical computer science (vol. B)
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language

Research directions in concurrent object-oriented programming
Model checking

Model checking
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
ELAN from a rewriting logic point of view

Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Equational rules for rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Membership algebra as a logical framework for equational specification

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method

Proceedings of the 7th Colloquium on Automata, Languages and Programming
A Simple Characterization of Stuttering Bisimulation

Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science
Theoroidal maps as algebraic simulations

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A categorical approach to simulations

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.