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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal aspects of computing Jg. 16; H. 3; S. 292 - 312
1. Verfasser:	Tini, Simone
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	London Association for Computing Machinery 01.08.2004
ISSN:	0934-5043, 1433-299X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!