Now showing items 1-2 of 2

    • Order-Sorted Equality Enrichments Modulo Axioms 

      Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo (SpringerBerlin., 2012)
      Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...
    • Proving Safety Properties of Rewrite Theories 

      Rocha, Camilo; Meseguer, José (SpringerBerlín, 2011)
      Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive ...