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á bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 246; s. 131 - 145
Hlavní autoři:	Lescaylle, Alexei, Villanueva, Alicia
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 03.08.2009
Témata:	symbolic representation Timed concurrent constraint programming tool demonstration symbolic representation tool demonstration Timed concurrent constraint programming
ISSN:	1571-0661, 1571-0661
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!