Compositionally Progressive Solutions of Synchronous FSM Equations

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli. Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems, 18(1):51-89, 2008. [doi]

Abstract

Abstract is missing.