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

Full description

Bibliographic Details

Published in:	Electronic notes in theoretical computer science Vol. 246; pp. 131 - 145
Main Authors:	Lescaylle, Alexei, Villanueva, Alicia
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 03.08.2009
Subjects:	symbolic representation Timed concurrent constraint programming tool demonstration symbolic representation tool demonstration Timed concurrent constraint programming
ISSN:	1571-0661, 1571-0661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!