Algebraic Formalism

To define action semantics descriptions, ABACO uses an algebraic specification formalism based on unified algebras' features. An specification written in this formalism is composed by: