DMCA
The synchronous languages 12 years later (2003)
Cached
Download Links
| Venue: | PROCEEDINGS OF THE IEEE |
| Citations: | 191 - 28 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 12 years later},
booktitle = {PROCEEDINGS OF THE IEEE},
year = {2003},
pages = {64--83},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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.
