Loops in esterel

Olivier Tardieu, Robert de Simone. Loops in esterel. ACM Trans. Embedded Comput. Syst., 4(4):708-750, 2005. [doi]

Abstract

Abstract is missing.