Interface finite-state machines: definition, minimization, and decomposition

Ajay J. Daga, William P. Birmingham. Interface finite-state machines: definition, minimization, and decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems, 16(5):497-505, 1997. [doi]

Abstract

Abstract is missing.