Concurrency, Time, and Constraints

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 benefit from two well-established theories used in the study of concurrency.

[1]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[2]  David R. Gilbert,et al.  Concurrent Constraint Programming with Process Mobility , 2000, Computational Logic.

[3]  Simone Tini.  An Axiomatic Semantics for the Synchronous Language Gentzen , 2001, FoSSaCS.

[4]  Simone Tini,et al.  On The Expressiveness of Timed Concurrent Constraint Programming , 1999, EXPRESS.

[5]  Henning Dierks,et al.  A Process Algebra for Real-Time Programs , 2000, FASE.

[6]  Maurizio Gabbrielli,et al.  A Timed Concurrent Constraint Language , 2000, Inf. Comput..

[7]  Frank D. Valencia,et al.  On the expressive power of temporal concurrent constraint programming languages , 2002, PPDP '02.

[8]  Camilo Rueda,et al.  Pi+- Calculus: A Calculus for Concurrent Processes with Constraints , 1998, CLEI Electron. J..

[9]  Toby Walsh,et al.  Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings , 2001, Lecture Notes in Computer Science.

[10]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[11]  Radha Jagadeesan,et al.  Foundations of timed concurrent constraint programming , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[12]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[13]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[14]  Radha Jagadeesan,et al.  Default timed concurrent constraint programming , 1995, POPL '95.

[15]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[16]  Jan van Leeuwen,et al.  Computer Science Today , 1995, Lecture Notes in Computer Science.

[17]  Frank D. Valencia,et al.  Temporal Concurrent Constraint Programming: Denotation, Logic and Applications , 2002, Nord. J. Comput..

[18]  Henrik Hautop Lund,et al.  Robot Soccer with LEGO Mindstorms , 1998, RoboCup.

[19]  A. W. Roscoe,et al.  A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..

[20]  Frank D. Valencia,et al.  Temporal Concurrent Constraint Programming: Applications and Behavior , 2001, Formal and Natural Computing.

[21]  Frank S. de Boer,et al.  Nondeterminism and Infinite Computations in Constraint Programming , 1995, Theor. Comput. Sci..

[22]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[23]  Robin Milner,et al.  A Finite Delay Operator in Synchronous CCS. , 1982 .

[24]  Gert Smolka.  The Oz Programming Model , 1996 .

[25]  Camilo Rueda,et al.  Proving Musical Properties using a temporal Concurrent Constraint Calculus , 2002, ICMC.

[26]  Frank D. Valencia,et al.  Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL , 2003, ICLP.

[27]  C. A. Petri.  Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.

[28]  Martín Abadi,et al.  The Power of Temporal Proofs , 1989, Theor. Comput. Sci..

[29]  Prakash Panangaden,et al.  The semantic foundations of concurrent constraint programming , 1991, POPL '91.

[30]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[31]  Radha Jagadeesan,et al.  Programming in Timed Concurrent Constraint Languages , 1993, NATO ASI CP.

[32]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[33]  Jean-Pierre Jouannaud,et al.  Constraints in Computational Logics , 1994, Lecture Notes in Computer Science.

[34]  Frank D. Valencia,et al.  Temporal Concurrent Constraint Programming , 2001, CP.

[35]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[36]  Jean-Hugues Réty,et al.  Distributed Concurrent Constraint Programming , 1998, Fundam. Informaticae.

[37]  Maurizio Gabbrielli,et al.  Proving concurrent constraint programs correct , 1994, POPL '94.

[38]  Robin Milner,et al.  Theories for the Global Ubiquitous Computer , 2004, FoSSaCS.

[39]  Frank D. Valencia,et al.  On the Expressive Power of Concurrent Constraint Programming Languages , 2002 .

[40]  Gert Smolka.  A Foundation for Higher-order Concurrent Constraint Programming , 1994, CCL.

[41]  F. S. deBoer,et al.  A Timed Concurrent Constraint Language , 2000 .

[42]  Luís Moniz Pereira,et al.  Computational Logic — CL 2000 , 2000, Lecture Notes in Computer Science.

[43]  Radha Jagadeesan,et al.  Computing with Continuous Change , 1998, Sci. Comput. Program..

[44]  Jan A. Bergstra,et al.  Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..

[45]  Radha Jagadeesan,et al.  Stochastic processes as concurrent constraint programs , 1999, POPL '99.

[46]  Frank D. Valencia,et al.  A Temporal Concurrent Constraint Programming Calculus , 2001, CP.

[47]  Enn Tyugu,et al.  Constraint Programming , 1994, NATO ASI Series.

[48]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[49]  Maurizio Gabbrielli,et al.  Proving concurrent constraint programs correct , 1997, TOPL.

[50]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[51]  Francesca Rossi,et al.  Concurrent Semantics for Concurrent Constraint Programs , 1993, NATO ASI CP.

[52]  J. Frías,et al.  A calculus for concurrent processes with constraints , 1997 .

[53]  Maurizio Gabbrielli,et al.  A temporal logic for reasoning about timed concurrent constraint programs , 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.

[54]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[55]  Seif Haridi,et al.  Kernel Andorra Prolog and its Computation Model , 1990, ICLP.

[56]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[57]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[58]  Florence Maraninchi,et al.  Operational and Compositional Semantics of Synchronous Automaton Compositions , 1992, CONCUR.

[59]  Yi Wang.  A calculus of real time systems , 1991 .

[60]  Ehud Shapiro,et al.  The family of concurrent logic programming languages , 1989, CSUR.

[61]  Hartmut Ehrig,et al.  Formal and Natural Computing , 2002, Lecture Notes in Computer Science.