Access Restriction

Author Lallana, Vicent-Ramon Palasi
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Behavioral Equivalence ♦ Algebraic Specification ♦ Automatic Deduction ♦ Initial Algebra ♦ Automatic Deduction Technique
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.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Publisher Date 1995-01-01