Vi bevisar att både synkrona data ow språk Lustre begränsad till nite värdetyper och synkrona stat orienterade språk Argos är inbäddade i synkron paradigm Timed Concurrent Constraint (tcc). I själva verket, för vart och ett av de två språken vi ger en tcc språk kodning det kompositionellt w.r.to strukturen av program. Dessutom bevisar vi att den kraftfulla abortmekanismen i det synkrona imperelspråket Esterel kan kodas i tcc.
REF visar att synkrona språk Lustre och Argos kan inbäddas i TCC.
On the Expressiveness of Timed Concurrent Constraint Programming
{'venue': 'Electronics Notes in Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}