Treffer: Temporal concurrent constraint programming: Applications and behavior
Title:
Temporal concurrent constraint programming: Applications and behavior
Authors:
Source:
Formal and natural computing-eessays dedicated to Grzegorz RozenbergLecture notes in computer science. :298-321
Publisher Information:
Berlin: Springer, 2002.
Publication Year:
2002
Physical Description:
print, 25 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie programmation, Programming theory, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Non déterminisme, Non determinism, No determinismo, Satisfaction contrainte, Constraint satisfaction, Satisfaccion restricción, Simultanéité informatique, Concurrency, Simultaneidad informatica, Système réactif, Reactive system, Sistema reactivo, Système réparti, Distributed system, Sistema repartido, Programmation concurrente par contrainte, Concurrent constrained programming
Document Type:
Buch
Book Chapter
File Description:
text
Language:
English
Author Affiliations:
BRICS, Department of Computer Science, University of Aarhus, Ny Munkegade, building 540, 8000 Århus, Denmark
ISSN:
0302-9743
Rights:
Copyright 2002 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14051400
Database:
PASCAL Archive
Weitere Informationen
The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied reflect the reactive interactions between concurrent constraint processes and their environment, as well as internal interactions between individual processes. Relationships between the suggested notions are studied, and they are all proved to be decidable for a substantial fragment of the calculus. Furthermore, the expressive power of this fragment is illustrated by examples.