Sciweavers

JLP
2010
125views more  JLP 2010»
13 years 9 months ago
Algebraic simulations
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
José Meseguer, Miguel Palomino, Narciso Mar...