The Synchronous Langages 12 Years Later

1991年，《IEEE論文集》專門對同步語言[1]、[2]進行了專門的討論。其中包括描述三種法國同步語言Esterel[3]、Lustre[4]和Signal[5]的論文，這也是本文的主題。當時，這三種語言已經有了很好的定義，並在工業上得到了一些應用，但仍處於開發階段。在此期間，這些語言得到了改進，獲得了更大的用戶社區，併成功地實現了商業化。現在，同步語言已經成爲建模、指定、驗證和實現實時嵌入式應

>>阅读原文<<