Syntax-driven optimisations for reachable state space construction of ESTEREL programs

Eric Vecchié, Robert de Simone. Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES, 2(3/4):228-238, 2006. [doi]

Abstract

Abstract is missing.