LCS Publication Details
Publication Title: DECIDABILITY OF EQUIVALENCE FOR A CLASS OF DATA FLOW SCHEMAS
Publication Author: Qualitz, Joseph E.
Additional Authors:
LCS Document Number: MIT-LCS-TM-058
Publication Date: 3-1-1975
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
In this paper we examine a class of computation schemas and consider the problem of deciding when pairs of elements in this class represent equivalent programs. We are able to show that equivalence is decidable for a non-trivial class of unary operator data flow schemas, and consider the applicability of this result to the problem of deciding equivalence in related models of computation.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.