Sciweavers

WADT
2004
Springer

Theoroidal Maps as Algebraic Simulations

14 years 4 months ago
Theoroidal Maps as Algebraic Simulations
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framework in which to formally specify these mathematical models, and introduce a particular and elegant way of representing simulations in it: theoroidal maps. A categorical viewpoint is very natural in the study of these structures and we show how to organize Kripke structures in categories that afterwards are lifted to the rewriting logic’s level. We illustrate the use of theoroidal maps applications: predicate abstraction and the study of fairness constraints.
Narciso Martí-Oliet, José Meseguer,
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where WADT
Authors Narciso Martí-Oliet, José Meseguer, Miguel Palomino
Comments (0)