M. Abadi and A. D. Gordon, A calculus for cryptographic protocols, Proceedings of the 4th ACM conference on Computer and communications security , CCS '97, pp.1-70, 1999.
DOI : 10.1145/266420.266432

A. Allombert, M. Desainte-catherine, and G. Assayag, Iscore, Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts, DIMEA '08, pp.360-367, 2008.
DOI : 10.1145/1413634.1413699
URL : https://hal.archives-ouvertes.fr/hal-00353619

M. Alpuente, M. Falaschi, and A. Villanueva, A Symbolic Model Checker for tccp Programs, LNCS, vol.3475, pp.45-56, 2004.
DOI : 10.1007/11423331_5

M. Alpuente, B. Gramlich, and A. Villanueva, A Framework for Timed Concurrent Constraint Programming with External Functions, Electronic Notes in Theoretical Computer Science, vol.188, pp.143-155, 2007.
DOI : 10.1016/j.entcs.2007.05.043

M. Alpuente, . Del-mar, M. Gallardo, E. Pimentel, and A. Villanueva, A semantic framework for the abstract model checking of tccp programs, Theoretical Computer Science, vol.346, issue.1, pp.58-95, 2005.
DOI : 10.1016/j.tcs.2005.08.009

M. Alpuente, . Del-mar, M. Gallardo, E. Pimentel, and A. Villanueva, Verifying real-time properties of tccp programs, J. UCS, vol.12, issue.11, pp.1551-1573, 2006.

M. Alpuente, . Del-mar, M. Gallardo, E. Pimentel, and A. Villanueva, An abstract analysis framework for synchronous concurrent languages based on source-tosource transformation, ENTCS, vol.206, pp.3-21, 2008.

R. M. Amadio, D. Lugiez, and V. Vanackère, On the symbolic reduction of processes with cryptographic functions, Theoretical Computer Science, vol.290, issue.1, pp.695-740, 2003.
DOI : 10.1016/S0304-3975(02)00090-7
URL : https://hal.archives-ouvertes.fr/inria-00072478

J. Aranda, J. A. Pérez, C. Rueda, and F. D. Valencia, Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming, pp.682-686
DOI : 10.1016/j.entcs.2007.12.007

A. Arbelaez, J. Gutierrez, and J. A. Perez, Timed concurrent constraint programming in systems biology, Newsletter of the ALP, vol.19, issue.4, 2006.

A. Aristizábal, F. Bonchi, C. Palamidessi, L. F. Pino, and F. D. Valencia, Deriving Labels and Bisimilarity for Concurrent Constraint Programming, LNCS, vol.6604, pp.138-152, 2011.
DOI : 10.1007/978-3-642-19805-2_10

A. Aristizábal, F. Bonchi, F. D. Valencia, and L. F. Pino, Partition refinement for bisimilarity in CCP, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.88-93
DOI : 10.1145/2245276.2245296

G. Assayag, S. Dubnov, and C. Rueda, A concurrent constraints factor oracle model for music improvisation, Proc. of CLEI, p.2006, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01161352

A. Barco, S. Knight, and F. Valencia, K-stores A spatial and epistemic concurrent constraint interpreter, Proc. of WFLP'12, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00761679

M. Bartoletti and R. Zunino, A Calculus of Contracting Processes, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.332-341, 2010.
DOI : 10.1109/LICS.2010.25

J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: a framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, 2011.
DOI : 10.2168/LMCS-7(1:11)2011

J. A. Bergstra and J. W. Klop, Algebra of communicating processes with abstraction, Theoretical Computer Science, vol.37, pp.77-121, 1985.
DOI : 10.1016/0304-3975(85)90088-X

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

M. Bertolino, S. Etalle, and C. Palamidessi, The Replacement Operation for CCP Programs, LNCS, vol.1817, pp.216-233, 1999.
DOI : 10.1007/10720327_13

E. Best, F. De-boer, and C. Palamidessi, Concurrent constraint programming with information removal, First Workshop on Concurrent Constraint Programming, 1995.

E. Best, F. S. De-boer, and C. Palamidessi, Partial order and SOS semantics for linear constraint programs, LNCS, vol.1282, pp.256-273, 1997.
DOI : 10.1007/3-540-63383-9_85

H. Betz and T. W. Frühwirth, A Linear-Logic Semantics for Constraint Handling Rules, LNCS, vol.3709, pp.137-151, 2005.
DOI : 10.1007/11564751_13

S. Bistarelli, M. Bottalico, and F. Santini, Constraint-based languages to model the blood coagulation cascade, pp.32-41, 2009.

S. Bistarelli, P. Campli, and F. Santini, A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1551-1553
DOI : 10.1145/2245276.2232023

S. Bistarelli, M. Gabbrielli, M. C. Meo, and F. Santini, Timed Soft Concurrent Constraint Programs, LNCS, vol.5052, pp.50-66, 2008.
DOI : 10.1007/978-3-540-68265-3_4

S. Bistarelli, U. Montanari, and F. Rossi, Soft concurrent constraint programming, ACM Transactions on Computational Logic, vol.7, issue.3, pp.563-589, 2006.
DOI : 10.1145/1149114.1149118

S. Bistarelli, U. Montanari, F. Rossi, T. Schiex, G. Verfaillie et al., Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison, Constraints, vol.4, issue.3, pp.199-240, 1999.
DOI : 10.1023/A:1026441215081

S. Bistarelli and F. Santini, A nonmonotonic soft concurrent constraint language to model the negotiation process, Fundam. Inform, vol.111, issue.3, pp.257-279, 2011.

A. Bockmayr and A. Courtois, Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems, LNCS, vol.2401, pp.85-99, 2002.
DOI : 10.1007/3-540-45619-8_7
URL : https://hal.archives-ouvertes.fr/inria-00107635

F. S. De-boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi, Proving concurrent constraint programs correct, ACM Transactions on Programming Languages and Systems, vol.19, issue.5, pp.685-725, 1997.
DOI : 10.1145/265943.265954

F. S. De-boer, M. Gabbrielli, and M. C. Meo, A Timed Concurrent Constraint Language, Information and Computation, vol.161, issue.1, pp.45-83, 2000.
DOI : 10.1006/inco.1999.2879

F. S. De-boer, M. Gabbrielli, and M. C. Meo, Proving correctness of timed concurrent constraint programs, ACM Transactions on Computational Logic, vol.5, issue.4, pp.706-731, 2004.
DOI : 10.1145/1024922.1024926

F. S. De-boer, M. Gabbrielli, and C. Palamidessi, Proving correctness of constraint logic programs with dynamic scheduling, LNCS, vol.1145, pp.83-97, 1996.

F. S. De-boer, J. N. Kok, C. Palamidessi, and J. J. Rutten, Control flow versus logic: A denotational and a declarative model for guarded horn clauses, MFCS LNCS, vol.379, pp.165-176, 1989.

F. S. De-boer, J. N. Kok, C. Palamidessi, and J. J. Rutten, Semantic models for a version of parlog, pp.621-636, 1989.

F. S. De-boer and C. Palamidessi, A fully abstract model for concurrent constraint programming, LNCS, vol.1, issue.493, pp.296-319, 1991.

F. S. De-boer and C. Palamidessi, On the Semantics of Concurrent Constraint Programming, pp.145-173, 1992.
DOI : 10.1007/978-1-4471-3421-3_9

F. S. De-boer, A. D. Pierro, and C. Palamidessi, Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science, vol.151, issue.1, pp.37-78, 1995.
DOI : 10.1016/0304-3975(95)00047-Z

M. Boreale, Symbolic Trace Analysis of Cryptographic Protocols, LNCS, vol.2076, pp.667-681, 2001.
DOI : 10.1007/3-540-48224-5_55

A. Borning, Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, 1994.

L. Bortolussi and A. Policriti, Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, vol.99, issue.9, pp.66-90, 2008.
DOI : 10.1007/s10601-007-9034-8

L. Bortolussi and H. Wiklicky, A Distributed and Probabilistic Concurrent Constraint Programming Language, Lecture Notes in Computer Science, vol.3668, pp.143-158, 2005.
DOI : 10.1007/11562931_13

M. Bottalico and S. Bistarelli, Constraint Based Languages for Biological Reactions, pp.561-562
DOI : 10.1007/978-3-642-02846-5_64

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

F. Bueno, M. V. Hermenegildo, U. Montanari, and F. Rossi, Partial order and contextual net semantics for atomic and locally atomic CC programs, Science of Computer Programming, vol.30, issue.1-2, pp.51-82, 1998.
DOI : 10.1016/S0167-6423(97)00007-5

M. G. Buscemi, M. Coppo, M. Dezani-ciancaglini, and U. Montanari, Constraints for Service Contracts, LNCS, vol.7173, pp.104-120, 2011.
DOI : 10.1007/978-3-642-30065-3_7

M. G. Buscemi and U. Montanari, CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements, LNCS, vol.4421, pp.18-32, 2007.
DOI : 10.1007/978-3-540-71316-6_3

M. G. Buscemi and U. Montanari, Open Bisimulation for the Concurrent Constraint Pi-Calculus, LNCS, vol.4960, pp.254-268, 2008.
DOI : 10.1007/978-3-540-78739-6_20

M. G. Buscemi and U. Montanari, CC-Pi: A Constraint Language for Service Negotiation and Composition, Results of the SENSORIA Project, pp.262-281, 2011.
DOI : 10.1016/j.tcs.2005.03.017

M. G. Buscemi and U. Montanari, QoS negotiation in service composition, The Journal of Logic and Algebraic Programming, vol.80, issue.1, pp.13-24, 2011.
DOI : 10.1016/j.jlap.2010.04.001

P. Campli and S. Bistarelli, Capturing Fair Computations on Concurrent Constraint Language, pp.559-560
DOI : 10.1007/978-3-642-02846-5_63

L. Cardelli and A. D. Gordon, Mobile ambients, FoSSaCS LNCS, vol.1378, pp.140-155, 1998.

B. Carlson, S. Haridi, and S. Janson, AKL(FD) -a concurrent language for FD programming, pp.521-535, 1994.

D. Chiarugi, M. Falaschi, C. Olarte, and C. Palamidessi, Compositional modelling of signalling pathways in timed concurrent constraint programming, Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, BCB '10, pp.414-417
DOI : 10.1145/1854776.1854843
URL : https://hal.archives-ouvertes.fr/hal-00548213

M. Comini, L. Titolo, and A. Villanueva, Abstract, Theory and Practice of Logic Programming, vol.11, issue.4-5, pp.487-502, 2011.
DOI : 10.1017/S1471068411000135

M. Coppo and M. Dezani-ciancaglini, Structured Communications with Concurrent Constraints, LNCS, vol.340, issue.3, pp.104-125, 2008.
DOI : 10.1016/j.tcs.2005.03.017

P. Cousot and R. Cousot, Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992.
DOI : 10.1016/0743-1066(92)90030-7

F. Crazzolara and G. Winskel, Petri nets in cryptographic protocols, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001, p.149, 2001.
DOI : 10.1109/IPDPS.2001.925135

M. Dezani-ciancaglini and U. De-'liguoro, Sessions and Session Types: An Overview, WS-FM, pp.1-28, 2009.
DOI : 10.1007/978-3-642-14458-5_1

J. F. Díaz, G. Gutierrez, C. A. Olarte, and C. Rueda, Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks, LNCS, vol.3389, pp.263-276, 2004.
DOI : 10.1007/978-3-540-31845-3_22

J. F. Díaz, C. Rueda, and F. D. Valencia, Pi+-calculus: A calculus for concurrent processes with constraints. CLEI Electron, J, vol.1, issue.2, 1998.

D. Dolev and A. C. Yao, On the security of public key protocols, IEEE Transactions on Information Theory, vol.29, issue.2, pp.198-207, 1983.
DOI : 10.1109/TIT.1983.1056650

A. Dovier and E. Pontelli, A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, LNCS, vol.6125, 2010.
DOI : 10.1007/978-3-642-14309-0

D. Dubois, H. Fargier, and H. Prade, The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems, pp.1131-1136, 1993.
DOI : 10.1109/FUZZY.1993.327356

G. J. Duck, P. J. Stuckey, M. J. De-la-banda, and C. Holzbaur, The Refined Operational Semantics of Constraint Handling Rules, pp.90-104
DOI : 10.1007/978-3-540-27775-0_7

G. J. Duck, P. J. Stuckey, and M. Sulzmann, Observable Confluence for Constraint Handling Rules, pp.224-239
DOI : 10.1007/978-3-540-74610-2_16

M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, A generic system for interactive real-time animation, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, pp.263-270, 1997.
DOI : 10.1109/ECBS.1997.581876

S. Etalle, M. Gabbrielli, and M. C. Meo, Transformations of CCP programs, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.304-395, 2001.
DOI : 10.1145/503502.503504

D. Eveillard, D. Ropers, H. De-jong, C. Branlant, and A. Bockmayr, A multi-scale constraint programming model of alternative splicing regulation, Theoretical Computer Science, vol.325, issue.1, pp.3-24, 2004.
DOI : 10.1016/j.tcs.2004.03.062
URL : https://hal.archives-ouvertes.fr/inria-00000916

F. Fages, G. Batt, E. D. Maria, D. Jovanovska, A. Rizk et al., Computational systems biology in biocham, ERCIM News, issue.82, pp.2010-2046, 2010.

F. Fages, C. M. De-oliveira-rodrigues, and T. Martinez, Modular CHR with ask and tell, Proc. of Fifth Workshop on Constraint Handling Rules, 2008.

F. Fages, P. Ruet, and S. Soliman, Linear Concurrent Constraint Programming: Operational and Phase Semantics, Information and Computation, vol.165, issue.1, pp.14-41, 2001.
DOI : 10.1006/inco.2000.3002
URL : https://hal.archives-ouvertes.fr/hal-01431358

F. Fages, S. Soliman, and V. Vianu, Expressiveness and complexity of concurrent constraint programming: a finite model theoretic approach, LIENS, 1998.

M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi, Compositional analysis for concurrent constraint programming, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, pp.210-221, 1993.
DOI : 10.1109/LICS.1993.287586

M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi, Confluence in concurrent constraint programming, Theoretical Computer Science, vol.183, issue.2, pp.281-315, 1997.
DOI : 10.1016/S0304-3975(97)00328-9

M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi, Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators, Information and Computation, vol.137, issue.1, pp.41-67, 1997.
DOI : 10.1006/inco.1997.2638

M. Falaschi, C. Olarte, and C. Palamidessi, A framework for abstract interpretation of timed concurrent constraint programs, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.207-218, 2009.
DOI : 10.1145/1599410.1599436
URL : https://hal.archives-ouvertes.fr/inria-00426608

M. Falaschi, C. Olarte, C. Palamidessi, and F. Valencia, Declarative Diagnosis of Temporal Concurrent Constraint Programs, pp.271-285
DOI : 10.1007/978-3-540-74610-2_19
URL : https://hal.archives-ouvertes.fr/inria-00201065

M. Falaschi, A. Policriti, and A. Villanueva, Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I, Electronic Notes in Theoretical Computer Science, vol.48, pp.197-210, 2001.
DOI : 10.1016/S1571-0661(04)00157-4

M. Falaschi and A. Villanueva, Automatic verification of timed concurrent constraint programs, Theory and Practice of Logic Programming, vol.6, issue.03, pp.265-300, 2006.
DOI : 10.1017/S1471068406002675

C. Fournet and M. Abadi, Hiding Names: Private Authentication in the Applied Pi Calculus, LNCS, vol.2609, pp.317-338, 2002.
DOI : 10.1007/3-540-36532-X_20

T. Franzén, S. Haridi, and S. Janson, An overview of the Andorra Kernel Language, LNCS, vol.596, pp.163-179, 1991.
DOI : 10.1007/BFb0013607

T. Frühwirth, L. Michel, and C. Schulte, Chapter 13 -constraints in procedural and concurrent languages, Handbook of Constraint Programming, pp.453-494, 2006.

T. W. Frühwirth, Constraint handling rules, Constraint Programming, pp.90-107, 1994.

T. W. Frühwirth, Theory and practice of constraint handling rules, The Journal of Logic Programming, vol.37, issue.1-3, pp.95-138, 1998.
DOI : 10.1016/S0743-1066(98)10005-5

T. W. Frühwirth, Constraint Handling Rules, 2009.

T. W. Frühwirth, A. D. Pierro, and H. Wiklicky, Probabilistic Constraint Handling Rules, Electronic Notes in Theoretical Computer Science, vol.76, pp.115-130, 2002.
DOI : 10.1016/S1571-0661(04)80789-8

K. Furukawa and K. Ueda, GHC ??? A language for a new age of parallel programming, FSTTCS Lecture Notes in Computer Science, vol.338, pp.364-376, 1988.
DOI : 10.1007/3-540-50517-2_91

M. Gabbrielli and G. Levi, Unfolding and fixpoint semantics of concurrent constraint logic programs, LNCS, vol.463, pp.204-216, 1990.

M. Gabbrielli, C. Palamidessi, and F. D. Valencia, Concurrent and Reactive Constraint Programming, Dovier and Pontelli [68], pp.231-253
DOI : 10.1007/978-3-642-14309-0_11
URL : https://hal.archives-ouvertes.fr/hal-00545256

D. Gilbert and C. Palamidessi, Concurrent Constraint Programming with Process Mobility, Computational Logic, pp.463-477, 2000.
DOI : 10.1007/3-540-44957-4_31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.9788

J. Y. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

V. Gupta, R. Jagadeesan, and P. Panangaden, Stochastic processes as concurrent constraint programs, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, pp.189-202, 1999.
DOI : 10.1145/292540.292558
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.7979

V. Gupta, R. Jagadeesan, and V. A. Saraswat, Models for concurrent constraint programming, LNCS, vol.1119, pp.66-83, 1996.
DOI : 10.1007/3-540-61604-7_48

V. Gupta, R. Jagadeesan, and V. A. Saraswat, Probabilistic concurrent constraint programming, LNCS, vol.1243, pp.243-257, 1997.
DOI : 10.1007/3-540-63141-0_17

V. Gupta, R. Jagadeesan, and V. A. Saraswat, Computing with continuous change, Science of Computer Programming, vol.30, issue.1-2, pp.3-49, 1998.
DOI : 10.1016/S0167-6423(97)00006-3

V. Gupta, R. Jagadeesan, and V. A. Saraswat, Truly concurrent constraint programming, Theoretical Computer Science, vol.278, issue.1-2, pp.223-255, 2002.
DOI : 10.1016/S0304-3975(00)00337-6

V. Gupta, V. Saraswat, and P. Struss, A model of a photocopier paper path, Proceedings of the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, 1995.

J. Gutierrez, J. A. Pérez, C. Rueda, and F. D. Valencia, Timed Concurrent Constraint Programming for Analysing Biological Systems, Electronic Notes in Theoretical Computer Science, vol.171, issue.2, pp.117-137, 2007.
DOI : 10.1016/j.entcs.2007.05.012

R. Haemmerlé, Abstract, Theory and Practice of Logic Programming, vol.1, issue.4-5, pp.469-485, 2011.
DOI : 10.1017/S1471068411000123

R. Haemmerlé, F. Fages, and S. Soliman, Closures and Modules Within Linear Logic Concurrent Constraint Programming, FSTTCS LNCS, vol.4855, pp.544-556, 2007.
DOI : 10.1007/978-3-540-77050-3_45

N. Halbwachs, Synchronous programming of reactive systems, LNCS, vol.1427, pp.1-16, 1998.

S. Haridi, S. Janson, J. Montelius, T. Franzén, P. Brand et al., Concurrent constraint programming at sics with the andorra kernel language (extended abstract), pp.107-116, 1993.

L. Henkin, J. D. , M. Tarski, and A. , Cylindric Algebras, Part I, 1971.

P. V. Hentenryck, V. A. Saraswat, and Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD), J. Log. Program, vol.37, pp.1-3, 1998.
DOI : 10.1007/3-540-59155-9_15

D. Hermith, C. Olarte, C. Rueda, and F. D. Valencia, Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach, PACBB, Advances in Intelligent and Soft Computing, pp.321-328, 2011.
DOI : 10.1007/978-3-642-19914-1_42
URL : https://hal.archives-ouvertes.fr/hal-00641433

T. Hildebrandt and H. A. López, Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming, pp.417-431
DOI : 10.1016/0890-5401(92)90008-4

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, pp.122-138
DOI : 10.1007/BFb0053567

J. Jaffar and J. L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987.
DOI : 10.1145/41625.41635

J. Jaffar and M. J. Maher, Constraint logic programming: a survey, The Journal of Logic Programming, vol.19, issue.20, pp.503-581, 1994.
DOI : 10.1016/0743-1066(94)90033-7

R. Jagadeesan, W. Marrero, C. Pitcher, and V. A. Saraswat, Timed constraint programming, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.164-175
DOI : 10.1145/1069774.1069790

R. Jagadeesan, V. Saraswat, and V. Shanbhogue, Angelic non-determinism in concurrent constraint programming, 1991.

K. M. Kahn and V. A. Saraswat, Actors as a special case of concurrent constraint programming, pp.57-66, 1990.

K. M. Kahn and V. A. Saraswat, Complete visualizations of concurrent programs and their executions, Proceedings of the 1990 IEEE Workshop on Visual Languages, pp.30-34, 1990.
DOI : 10.1109/WVL.1990.128375

J. C. De-kergommeaux and P. Codognet, Parallel logic programming systems, ACM Computing Surveys, vol.26, issue.3, pp.295-336, 1994.
DOI : 10.1145/185403.185453
URL : https://hal.archives-ouvertes.fr/inria-00076926

S. Knight, C. Palamidessi, P. Panangaden, and F. D. Valencia, Spatial and Epistemic Modalities in Constraint-Based Process Calculi, LNCS, vol.7454, pp.317-332, 2012.
DOI : 10.1007/978-3-642-32940-1_23
URL : https://hal.archives-ouvertes.fr/hal-00761116

L. D. Koninck, T. Schrijvers, and B. Demoen, User-definable rule priorities for CHR, Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, PPDP '07, pp.25-36, 2007.
DOI : 10.1145/1273920.1273924

M. Z. Kwiatkowska, Infinite behaviour and fairness in concurrent constraint programming, LNCS, vol.666, pp.348-383, 1992.
DOI : 10.1007/3-540-56596-5_40

C. Laneve and U. Montanari, Mobility in the CC-paradigm, MFCS LNCS, vol.629, pp.336-345, 1992.
DOI : 10.1007/3-540-55808-X_32

D. J. Lehmann, Categories for fixpoint-semantics, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976), pp.122-126, 1976.
DOI : 10.1109/SFCS.1976.9

A. Lescaylle and A. Villanueva, Using tccp for the Specification and Verification of Communication Protocols, Proc. of WFLP, p.7, 2007.

A. Lescaylle and A. Villanueva, The tccp Interpreter, Electronic Notes in Theoretical Computer Science, vol.258, issue.1, pp.63-77, 2009.
DOI : 10.1016/j.entcs.2009.12.005

A. Lescaylle and A. Villanueva, A Tool for Generating a Symbolic Representation of tccp Executions, Electronic Notes in Theoretical Computer Science, vol.246, pp.131-145, 2009.
DOI : 10.1016/j.entcs.2009.07.019

A. Lescaylle and A. Villanueva, Bridging the Gap between Two Concurrent Constraint Languages, LNCS, vol.9, issue.1, pp.155-173, 2010.
DOI : 10.1016/j.entcs.2009.12.005

H. A. López, C. Olarte, and J. A. Pérez, Towards a Unified Framework for Declarative Structured Communications, PLACES, EPTCS, pp.1-15, 2009.
DOI : 10.4204/EPTCS.17.1

M. J. Maher, Logic semantics for a class of committed-choice programs, pp.858-876, 1987.

Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, 1991.
DOI : 10.1007/978-1-4612-0931-7

K. Marriott and M. Odersky, A confluent calculus for concurrent constraint programming, Theoretical Computer Science, vol.173, issue.1, pp.209-233, 1997.
DOI : 10.1016/S0304-3975(96)00196-X

T. Martinez, Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '10, pp.57-66, 2010.
DOI : 10.1145/1836089.1836097

N. P. Mendler, P. Panangaden, P. J. Scott, and R. A. Seely, A logical view of concurrent constraint programming, Nord. J. Comput, vol.2, issue.2, pp.181-220, 1995.

R. Milner, A finite delay operator in synchronous CCS, 1992.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-40, 1992.
DOI : 10.1016/0890-5401(92)90008-4

E. Monfroy, C. Olarte, and C. Rueda, Process calculi for adaptive enumeration strategies in constraint programming, Research in Computer Science, 2007.

U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, pp.95-132, 1974.
DOI : 10.1016/0020-0255(74)90008-5

U. Montanari and F. Rossi, True concurrency in concurrent constraint programming, pp.694-713, 1991.

U. Montanari and F. Rossi, Contextual occurence nets and concurrent constraint programming, Dagstuhl Seminar on Graph Transformations in Computer Science, pp.280-295, 1993.
DOI : 10.1007/3-540-57787-4_18

U. Montanari and F. Rossi, A concurrenct semantics for concurrent constraint programming via contextual nets, Principles and Practice of Constraint Programming, pp.3-27, 1995.

U. Montanari and F. Rossi, Contextual nets, Acta Informatica, vol.112, issue.6, pp.545-596, 1995.
DOI : 10.1007/BF01178907

U. Montanari, F. Rossi, F. Bueno, M. J. De-la-banda, and M. V. Hermenegildo, Towards a concurrent semantics based analysis of CC and CLP, pp.151-161
DOI : 10.1007/3-540-58601-6_97

U. Montanari, F. Rossi, and V. A. Saraswat, Cc programs with both in-and nondeterminism: A concurrent semantics, pp.162-172

T. Müller and M. Müller, Finite set intervals in oz, pp.17-19, 1997.

R. M. Needham and M. D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM, vol.21, issue.12, pp.993-999, 1978.
DOI : 10.1145/359657.359659

J. Niehren and G. Smolka, A confluent relational calculus for higher-order programming with constraints, pp.89-104
DOI : 10.1007/BFb0016846
URL : https://hal.archives-ouvertes.fr/inria-00536826

M. Nielsen, C. Palamidessi, and F. D. Valencia, On the expressive power of temporal concurrent constraint programming languages, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '02, pp.156-167, 2002.
DOI : 10.1145/571157.571173

M. Nielsen, C. Palamidessi, and F. D. Valencia, Temporal concurrent constraint programming: Denotation, logic and applications, Nord. J. Comput, vol.9, issue.1, pp.145-188, 2002.

S. O. Nyström and B. Jonsson, Indeterminate concurrent constraint programming: A fixpoint semantics for non-terminating computations, pp.335-352, 1993.

C. Olarte, E. Pimentel, C. Rueda, and N. Cataño, A linear concurrent constraint approach for the automatic verification of access permissions, Proceedings of the 14th symposium on Principles and practice of declarative programming, PPDP '12, pp.207-216, 2012.
DOI : 10.1145/2370776.2370802
URL : https://hal.archives-ouvertes.fr/hal-00748141

C. Olarte and C. Rueda, A Declarative Language for Dynamic Multimedia Interaction Systems, Mathematics and Computation in Music, Communications in Computer and Information Science, pp.218-227, 2009.
DOI : 10.1007/3-540-47849-3_18
URL : https://hal.archives-ouvertes.fr/inria-00426607

C. Olarte and F. D. Valencia, The expressivity of universal timed CCP, Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '08, pp.8-19, 2008.
DOI : 10.1145/1389449.1389452
URL : https://hal.archives-ouvertes.fr/inria-00349353

C. Olarte and F. D. Valencia, Universal concurrent constraint programing, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.145-150, 2008.
DOI : 10.1145/1363686.1363726
URL : https://hal.archives-ouvertes.fr/inria-00201497

A. D. Paì-u, A. Dovier, and F. Fogolari, Protein folding simulation in ccp, Demoen and Lifschitz [63], pp.452-453

J. A. Pérez and C. Rueda, Non-determinism and Probabilities in Timed Concurrent Constraint Programming, pp.677-681
DOI : 10.1007/3-540-46432-8_10

C. A. Petri, Fundamentals of a theory of asynchronous information flow, pp.386-390, 1962.

A. Pettorossi and M. Proietti, Transformation of logic programs: Foundations and techniques, The Journal of Logic Programming, vol.19, issue.20, pp.261-320, 1994.
DOI : 10.1016/0743-1066(94)90028-0

A. D. Pierro and H. Wiklicky, A banach space based semantics for probabilistic concurrent constraint programming, CATS, Australian Computer Science Communications, pp.245-260, 1998.

A. D. Pierro and H. Wiklicky, Probabilistic concurrent constraint programming: Towards a fully abstract model, MFCS LNCS, vol.1450, pp.446-455, 1998.
DOI : 10.1007/BFb0055794

A. D. Pierro and H. Wiklicky, Concurrent constraint programming, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '00, pp.127-138, 2000.
DOI : 10.1145/351268.351284

M. Del-pilar-muñoz and A. R. Hurtado, Programming robotic devices with a timed concurrent constraint language, LNCS, vol.3258, p.803, 2004.

P. Pilozzi and D. D. Schreye, Improved termination analysis of chr using selfsustainability analysis, LNCS, vol.7225, pp.189-204, 2011.

M. Puckette, T. Apel, and D. Zicarelli, Real-time audio analysis tools for Pd and MSP, Proceedings, International Computer Music Conference, pp.109-112, 1998.

W. Reisig, Petri Nets: An Introduction, Monographs in Theoretical Computer Science, An EATCS Series, vol.4, 1985.

R. Reiter, A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980.
DOI : 10.1016/0004-3702(80)90014-4

J. H. Réty, Distributed concurrent constraint programming. Fundam, Inform, vol.34, issue.3, pp.323-346, 1998.

C. Rueda, G. Alvarez, L. Quesada, G. Tamura, F. D. Valencia et al., Integrating constraints and concurrent objects in musical applications: A calculus and its visual language, Constraints, vol.6, issue.1, pp.21-52, 2001.
DOI : 10.1023/A:1009849309451
URL : https://hal.archives-ouvertes.fr/hal-01106257

C. Rueda and F. Valencia, On validity in modelization of musical problems by CCP, Soft Computing, vol.8, issue.9, 2004.
DOI : 10.1007/s00500-004-0390-7

C. Rueda and F. D. Valencia, A temporal concurrent constraint calculus as an audio processing framework, Sound and Music Computing conference, 2005.

D. Sangiorgi, Introduction to Bisimulation and Coinduction, 2012.
DOI : 10.1017/CBO9780511777110
URL : https://hal.archives-ouvertes.fr/hal-00907026

V. Saraswat, Euler: an applied lcc language for graph rewriting, 2004.

V. Saraswat and P. Lincoln, Higher-order Linear Concurrent Constraint Programming, Tech. rep., Xerox Parc, 1992.

V. A. Saraswat, The category of constraint systems is Cartesian-closed, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.341-345, 1992.
DOI : 10.1109/LICS.1992.185546

V. A. Saraswat, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1993.
DOI : 10.1145/96709.96733

V. A. Saraswat, R. Jagadeesan, and V. Gupta, Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.71-80, 1994.
DOI : 10.1109/LICS.1994.316085

V. A. Saraswat, R. Jagadeesan, and V. Gupta, Timed Default Concurrent Constraint Programming, Journal of Symbolic Computation, vol.22, issue.5-6, pp.475-520, 1996.
DOI : 10.1006/jsco.1996.0064

V. A. Saraswat, R. Jagadeesan, and V. Gupta, jcc: Integrating Timed Default Concurrent Constraint Programming into Java, LNCS, vol.2902, pp.156-170, 2003.
DOI : 10.1007/978-3-540-24580-3_23

V. A. Saraswat, K. M. Kahn, and J. Levy, Janus: A step towards distributed constraint programming, pp.431-446, 1990.

V. A. Saraswat and M. C. Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.232-245, 1990.
DOI : 10.1145/96709.96733

V. A. Saraswat, M. C. Rinard, and P. Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.333-352, 1991.
DOI : 10.1145/99583.99627

B. Sarna-starosta and C. R. Ramakrishnan, Compiling Constraint Handling Rules for Efficient Tabled Evaluation, LNCS, vol.4354, pp.170-184, 2007.
DOI : 10.1007/978-3-540-69611-7_11

G. Sarria, Real-time concurrent constraint calculus: The complete operational semantics, Engineering Letters, vol.19, issue.1, pp.38-45, 2011.

T. Sato, A glimpse of symbolic-statistical modeling by PRISM, Journal of Intelligent Information Systems, vol.5, issue.3, pp.161-176, 2008.
DOI : 10.1007/s10844-008-0062-7

V. Schächter, Linear concurrent constraint programming over reals, LNCS, vol.1520, pp.400-416, 1998.
DOI : 10.1007/3-540-49481-2_29

T. Schrijvers, P. J. Stuckey, and G. J. Duck, Abstract interpretation for constraint handling rules, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.218-229
DOI : 10.1145/1069774.1069795

D. S. Scott, Domains for denotational semantics, LNCS, vol.140, pp.577-613, 1982.
DOI : 10.1007/BFb0012801

E. Shapiro, The family of concurrent logic programming languages, ACM Comput. Surv, vol.21, issue.3, 1989.

G. Smolka, A foundation for higher-order concurrent constraint programming, pp.50-72

G. Smolka, The Oz programming model, Computer Science Today, pp.324-343, 1995.

G. Smolka, Concurrent constraint programming based on functional programming (extended abstract) In: Hankin, pp.1-11

J. Sneyers, W. Meert, J. Vennekens, Y. Kameya, and T. Sato, Abstract, Theory and Practice of Logic Programming, vol.5, issue.4-6, pp.4-6, 2010.
DOI : 10.1023/A:1009842826135

J. Sneyers, P. V. Weert, T. Schrijvers, and L. D. Koninck, Abstract, Theory and Practice of Logic Programming, vol.10, issue.01, pp.1-47, 2010.
DOI : 10.1145/1069774.1069795

R. M. Stallman and G. J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, vol.9, issue.2, pp.135-196, 1977.
DOI : 10.1016/0004-3702(77)90029-7

S. Stork, P. Marques, and J. Aldrich, Concurrency by default, Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, pp.933-940, 2009.
DOI : 10.1145/1639950.1640060

G. J. Sussman and G. L. Jr, Constraints???A language for expressing almost-hierarchical descriptions, Artificial Intelligence, vol.14, issue.1, pp.1-39, 1980.
DOI : 10.1016/0004-3702(80)90032-6

K. Takeuchi, K. Honda, and M. Kubo, An interaction-based language and its typing system, PARLE LNCS, vol.817, pp.398-413, 1994.
DOI : 10.1007/3-540-58184-7_118

M. Toro-bermúdez and M. Desainte-catherine, Concurrent constraints conditional-branching timed interactive scores, Sound and Music Computing conference, 2010.

K. Ueda, N. Kato, K. Hara, and K. Mizuno, LMNtal as a Unifying Declarative Language: Live Demonstration, LNCS, vol.4079, pp.457-458, 2006.
DOI : 10.1007/11799573_47

F. D. Valencia, Decidability of infinite-state timed CCP processes and first-order LTL, Theoretical Computer Science, vol.330, issue.3, pp.577-607, 2005.
DOI : 10.1016/j.tcs.2004.10.009

F. M. Varejao, M. P. Fromherz, A. C. Garcia, and C. S. De-souza, An integrated framework for the specification and design of reprographic machines, Thirteenth Int. Conf. on Applications of Artificial Intelligence in Engineering. Computational Mechanics Publications, 1998.

B. Victor and J. Parrow, Concurrent constraints in the fusion calculus, LNCS, vol.1443, pp.455-469, 1998.
DOI : 10.1007/BFb0055075

T. Wahls, G. T. Leavens, and A. L. Baker, Executing formal specifications with concurrent constraint programming, Automated Software Engineering, vol.7, issue.4, pp.315-343, 2000.
DOI : 10.1023/A:1026554217992

D. L. Waltz, Gene Freuder and the Roots of Constraint Computation, Constraints, vol.11, issue.2-3, pp.87-89, 2006.
DOI : 10.1007/s10601-006-8057-x

L. Wischik and P. Gardner, Explicit fusions, Theoretical Computer Science, vol.340, issue.3, pp.606-630, 2005.
DOI : 10.1016/j.tcs.2005.03.017

H. C. Wong, M. Fromherz, V. Gupta, and V. Saraswat, Control-based programming of electro-mechanical controllers, IJCAI Workshop on Executable Temporal Logics, 1995.

E. Zaffanella, R. Giacobazzi, and G. Levi, Abstracting synchronization in concurrent constraint programming, Journal of Functional and Logic Programming, issue.6, 1997.
DOI : 10.1007/3-540-58402-1_6