Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

ICLP
2003
Springer

favoriteEmaildiscussreport

134views Automated Reasoning» more ICLP 2003»

Concurrency, Time, and Constraints

13 years 9 months ago

Concurrency, Time, and Constraints

Download www.lix.polytechnique.fr

Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in a shared medium. Timed (or temporal) ccp extends ccp by allowing agents to be constrained by time requirements. The novelty of timed ccp is that it combines in one framework an operational and algebraic view based upon process calculi with a declarative view based upon temporal logic. This allows the model to beneﬁt from two well-established theories used in the study of concurrency. This essay offers an overview of timed ccp covering its basic background and

Frank D. Valencia

Real-time Traffic

Concurrent Constraint Programming | ICLP 2003 | Programming Languages | Shared Medium | Timed Ccp |

claim paper

Related Content

» Universal Timed Concurrent Constraint Programming

» Timed Concurrent Constraint Programming Decidability Results and Their Application to LTL

» A Framework for Timed Concurrent Constraint Programming with External Functions

» jcc Integrating Timed Default Concurrent Constraint Programming into Java

» Foundations of Timed Concurrent Constraint Programming

» Compositional Constraints Generation for Concurrent RealTime Loops with Interdependent Ite...

» Timed Concurrent Constraint Programming for Analysing Biological Systems

» Default Timed Concurrent Constraint Programming

» A framework for abstract interpretation of timed concurrent constraint programs

Post Info
More Details (n/a)

Added	07 Jul 2010
Updated	07 Jul 2010
Type	Conference
Year	2003
Where	ICLP
Authors	Frank D. Valencia

Comments (0)