SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure

Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil. SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. Electronic Notes in Theoretical Computer Science, 65(5):80-94, 2002. [doi]

Abstract

Abstract is missing.