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

A. V. Arkhangelskii and L. S. Pontryagin, General Topology I, 1990.
DOI : 10.1007/978-3-642-61265-7

F. Baccelli, G. Cohen, G. Olsder, and J. P. Quadrat, Synchronization and Linearity: An Algebra for Discrete Event Systems, 1992.

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 and F. Gadducci, Enhancing constraints manipulation in semiring-based formalisms, ECAI 2006. FAIA, pp.63-67, 2006.

S. Bistarelli, U. Montanari, and F. Rossi, Semiring-based constraint satisfaction and optimization, Journal of the ACM, vol.44, issue.2, pp.201-236, 1997.
DOI : 10.1145/256303.256306
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.3513

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
URL : http://arxiv.org/abs/cs/0208008

S. Bistarelli and F. Santini, A secure non-monotonic soft concurrent constraint language, Fundamamenta Informaticae, vol.13434, pp.261-285, 2014.

F. Bonchi, F. Gadducci, and G. V. Monreale, Reactive Systems, Barbed Semantics, and the Mobile Ambients, LNCS, vol.151, issue.2, pp.272-287, 2009.
DOI : 10.1007/978-3-540-71389-0_22

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

D. Lago, U. Martini, and S. , Phase semantics and decidability of elementary affine logic, Theoretical Computer Science, vol.318, issue.3, pp.409-433, 2004.
DOI : 10.1016/j.tcs.2004.02.037

H. Fargier and J. Lang, Uncertainty in constraint satisfaction problems: A probabilistic approach, ECSQUARU 1993, pp.97-104, 1993.
DOI : 10.1007/BFb0028188

J. Golan, Semirings and Affine Equations over Them: Theory and Applications, Kluwer, 2003.
DOI : 10.1007/978-94-017-0383-3

G. Karner, On limits in complete semirings, Semigroup Forum, vol.1320, issue.1, pp.148-165, 1992.
DOI : 10.1007/BF03025757

J. J. Leifer and R. Milner, Deriving Bisimulation Congruences for Reactive Systems, LNCS, pp.243-258, 2000.
DOI : 10.1007/3-540-44618-4_19

R. Milner and D. Sangiorgi, Barbed bisimulation, ICALP 1992, pp.685-695, 1992.
DOI : 10.1007/3-540-55719-9_114

J. D. Monk, An introduction to cylindric set algebras, Logic Journal of IGPL, vol.8, issue.4, pp.451-496, 2000.
DOI : 10.1093/jigpal/8.4.451

U. Montanari and V. Sassone, Dynamic congruence vs. progressing bisimulation for CCS, Fundamenta informaticae, vol.16, issue.2, pp.171-199, 1992.

L. F. Pino, F. Bonchi, and F. D. Valencia, A behavioral congruence for concurrent constraint programming with non-deterministic choice, ICTAC 2014, pp.351-368, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01006382

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