Algebraic Formalism

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