Guernic, Data-flow synchronous languages (1994)
| Venue: | In A Decade of Concurrency, reflexions and perspectives, REX School/Symposium |
| Citations: | 21 - 5 self |
BibTeX
@INPROCEEDINGS{Benveniste94guernic,data-flow,
author = {Albert Benveniste and Paul Caspi and Paul Le Guernic and Nicolas Halbwachs},
title = {Guernic, Data-flow synchronous languages},
booktitle = {In A Decade of Concurrency, reflexions and perspectives, REX School/Symposium},
year = {1994},
pages = {pages},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish the gc common format for synchronous data-flow languages.
