The problem of equivalence in commutative s-models for programs (Q1111006)

A special type of program model, s-models, is examined. Sufficient criteria that the equivalence of the program schemes can be established are found for these models. That equivalence which can be established is proved for two new situations through the use of these criteria. Each of these situations is covered by a broad class of models.