El diseño, especificación, validación y construcción de sistemas distribuidos representa un reto de complejidad elevada tanto desde el punto de vista matemático como de ingeniería. Aunando a esto, el impacto que tienen ...

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...