The problem of equivalence in commutative s-models for programs (Q1111006)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The problem of equivalence in commutative s-models for programs |
scientific article; zbMATH DE number 4074452
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The problem of equivalence in commutative s-models for programs |
scientific article; zbMATH DE number 4074452 |
Statements
The problem of equivalence in commutative s-models for programs (English)
0 references
1987
0 references
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.
0 references
program model
0 references
program schemes
0 references
equivalence
0 references
0.8909745
0 references
0.8795681
0 references
0.8788842
0 references
0.87657523
0 references
0 references
0.8741338
0 references
0.8710155
0 references
