A Co-semidecision procedure for behavioral equivalence

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/96721

Título:	A Co-semidecision procedure for behavioral equivalence
Autor/a:	Palasí Lallana, Vicent Ramon
Abstract:	We shall demonstrate that proving the behavioral equivalence of two algebraic specifications is equivalent to proving a set of theorems in a given initial algebra. Thus, it is possible to prove automatically this behavioral equivalence by use of automatic deduction techniques.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Behavioral equivalence -Algebraic specifications -Automatic deduction
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Coordinación

Patrocinio