Equivalence problem solvability in gateway program models

Rimma I. Podlovchenko, A. E. Molchanov. Equivalence problem solvability in gateway program models. Automatic Control and Computer Sciences, 48(7):581-588, 2014. [doi]

Abstract

Abstract is missing.