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...
Saved in:
| Published in: | Formal aspects of computing Vol. 16; no. 3; pp. 292 - 312 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
London
Association for Computing Machinery
01.08.2004
|
| ISSN: | 0934-5043, 1433-299X |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!