The synchronous languages twelve years later (2003)
| Venue: | Proceedings of the IEEE |
| Citations: | 71 - 5 self |
BibTeX
@INPROCEEDINGS{Benveniste03thesynchronous,
author = {Albert Benveniste and Paul Caspi and Stephen A. Edwards and Nicolas Halbwachs and Paul Le Guernic and Robert De Simone},
title = {The synchronous languages twelve years later},
booktitle = {Proceedings of the IEEE},
year = {2003},
pages = {64--83}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract — Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article 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 engineer-friendly design method based on mathematicallysound tools.
