Timed CCP compositionally embeds Argos and Lustre
We prove that both the synchronous data-flow language Lustre restricted to types with finite values and the synchronous state-oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint Programming (tccp). In fact, for each of the two languages we provide a tccp lang...
Uložené v:
| Vydané v: | Formal aspects of computing Ročník 16; číslo 3; s. 292 - 312 |
|---|---|
| Hlavný autor: | |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
London
Association for Computing Machinery
01.08.2004
|
| ISSN: | 0934-5043, 1433-299X |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!