Arnold L. Rosenberg, Larry J. Stockmeyer
Journal of the ACM
Previous characterizations of the class of addressable data graphs have been intrinsic in nature. In this note, the auxiliary concept of a monoid system is used to derive an extrinsic characterization of the class. Specifically, a partial transformation of the class of data graphs is found which fixes (up to isomorphism) precisely the addressable data graphs. © 1974.
Arnold L. Rosenberg, Larry J. Stockmeyer
Journal of the ACM
Arnold L. Rosenberg
POPL 1971
Arnold L. Rosenberg
Acta Informatica
Patrick C. Fischer, Albert R. Meyer, et al.
Journal of the ACM