A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
The synchronous languages 12 years later
2003
Proceedings of the IEEE
Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The paradigm of synchrony has emerged as an engineerfriendly design method based on mathematically sound tools.
doi:10.1109/jproc.2002.805826
fatcat:pdjbogxbovgvnc27ijgbch47aa