Buscar
Mostrando ítems 1-1 de 1
Proving Safety Properties of Rewrite Theories
(Springer, 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 ...