Searching for "Data-Flow Synchronous Languages." – sorted by Relevance.
-
Implementation of the Data-flow Synchronous Language SIGNAL
- Implementation of the Data-flow Synchronous Language SIGNAL Pascalin Amagbegnon Loc Besnard Paul
- Cited by 12 (6 self) – Add To MetaCart
-
A simulation environment for designing distributed reactive/deliberative time-constrained applications
- proposed to reactive programming: an imperative synchronous lan-guage, Esterel [11], two data-flow
- Cited by 1 (1 self) – Add To MetaCart
-
On the Expressiveness of Timed Concurrent Constraint Programming
- that both the synchronous data flow language Lustre restricted to finite value types and the synchronous
- Cited by 10 (2 self) – Add To MetaCart
-
I R I S a
- 1166-8687 768 DATA-FLOW SYNCHRONOUS LANGUAGES ALBERT BENVENISTE, PAUL CASPI, PAUL LE GUERNIC, NICOLAS
- Add To MetaCart
-
Sequencing Data Flow Tasks in SIGNAL
- real-time, synchronized data-flow language. Its model of time is based on instants, and its actions
- Cited by 13 (12 self) – Add To MetaCart
-
Handling data-flow programs in PVS
- , the last two ones have been based on the Lustre data-flow synchronous language [7]. This has entailed a
- Cited by 1 (0 self) – Add To MetaCart
-
Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata)
- for further work. 2 Data-flow Synchronous Languages and Mode-Automata 2.1 Data-flow Synchronous Languages
- Cited by 4 (0 self) – Add To MetaCart
-
Labeling Automata with Polynomials
- in the equational data-flow synchronous language Signal 3 . This language is widely used to specify
- Add To MetaCart
-
Synchronous Technology for Real-Time Systems
- of the data-flow synchronous language Signal. Since Signal formally handles relations on clocks and dynamic
- Cited by 7 (0 self) – Add To MetaCart
-
Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography
- .1 Overview of the synchronous data-flow language Lustre Lustre is based on the synchronous data-flow model
- Cited by 13 (0 self) – Add To MetaCart

