Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules

Janusz A. Brzozowski, Helmut Jürgensen. Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules. Int. J. Found. Comput. Sci., 18(5):1065-1087, 2007. [doi]

Abstract

Abstract is missing.