On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs

Vladimir A. Zakharov. On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs. Grammars, 2(3):271-281, 1999.

Abstract

Abstract is missing.