We prove that both the synchronous data ow language Lustre restricted to nite value types and the synchronous state oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint (tcc). In fact, for each of the two languages we provide a tcc language encoding it compositionally w.r.to the structure of programs. Moreover, we prove that the \strong abortion" mechanism of the synchronous imperative language Esterel can be encoded in tcc.
REF shows that the synchronous languages Lustre and Argos can be embedded in TCC.
On the Expressiveness of Timed Concurrent Constraint Programming
Electronics Notes in Theoretical Computer Science
Computer Science