The Synchronous Langages 12 Years Later

1991年，《IEEE论文集》专门对同步语言[1]、[2]进行了专门的讨论。其中包括描述三种法国同步语言Esterel[3]、Lustre[4]和Signal[5]的论文，这也是本文的主题。当时，这三种语言已经有了很好的定义，并在工业上得到了一些应用，但仍处于开发阶段。在此期间，这些语言得到了改进，获得了更大的用户社区，并成功地实现了商业化。现在，同步语言已经成为建模、指定、验证和实现实时嵌入式应

>>阅读原文<<