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

Celý popis

Podrobná bibliografia

Vydané v:	Electronic notes in theoretical computer science Ročník 246; s. 131 - 145
Hlavní autori:	Lescaylle, Alexei, Villanueva, Alicia
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 03.08.2009
Predmet:	symbolic representation Timed concurrent constraint programming tool demonstration symbolic representation tool demonstration Timed concurrent constraint programming
ISSN:	1571-0661, 1571-0661
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!