A Tool for Generating a Symbolic Representation of tccp Executions

The Timed Concurrent Constraint language (tccp) was defined by F. de Boer et al. as an extension of the Concurrent Constraint Paradigm (Saraswat, 1993) for specifying reactive and embedded systems. In this paper, we describe the StructGenerator system which, given the specification of a tccp program...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 246; S. 131 - 145
Hauptverfasser:	Lescaylle, Alexei, Villanueva, Alicia
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 03.08.2009
Schlagworte:	symbolic representation Timed concurrent constraint programming tool demonstration symbolic representation tool demonstration Timed concurrent constraint programming
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!