H. Abelson, D. Allen, D. Coore, C. Hanson, G. Homsy et al., Amorphous computing, Communications of the ACM, vol.43, issue.5, pp.74-82, 2000.
DOI : 10.1145/332833.332842

J. Armstrong, S. Virding, and M. Williams, Use of Prolog for developing a new programming language, Proceedings of The practical Application of Prolog, 1992.

A. Borshchev and A. Filippov, From system dynamics and discrete event to practical agent based modeling: reasons, techniques, tools, Proceedings of the 22nd International Conference of the System Dynamics Society, pp.24-29, 2004.

E. Cody, R. Sharman, R. Rao, and S. Upadhyaya, Security in grid computing: A review and synthesis, Decision Support Systems, vol.44, issue.4, pp.749-764, 2008.
DOI : 10.1016/j.dss.2007.09.007

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

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

R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning About Knowledge, 1995.

M. Falaschi and A. Villanueva, Automatic verification of timed concurrent constraint programs, Theory and Practice of Logic Programming, vol.6, issue.03, p.505026, 2005.
DOI : 10.1017/S1471068406002675

B. Faltings, Distributed constraint crogramming, Foundations of Artificial Intelligence, pp.699-729, 2006.

L. Fariñas, MOLOG: A system that extends PROLOG with modal logic, New Generation Computing, vol.III, issue.No. 2, pp.35-50, 1986.
DOI : 10.1007/BF03037381

H. Garavel, Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Electronic Notes in Theoretical Computer Science, vol.209, 2007.
DOI : 10.1016/j.entcs.2008.04.009
URL : https://hal.archives-ouvertes.fr/inria-00191141

J. Geanakoplos, Common Knowledge, Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, pp.254-315, 1992.
DOI : 10.1257/jep.6.4.53

S. Knight, C. Palamidessi, P. Panangaden, and F. Valencia, Spatial distribution of information in constraint-based calculi, LixÉcoleLix´LixÉcole Polytechnique

F. Koessler, Common knowledge and interactive behaviors: A survey, European Journal of Economic and Social Systems, vol.14, issue.3, 2000.
DOI : 10.1051/ejess:2000120

C. Marshall and F. Shipman, Which semantic web?, Proceedings of the fourteenth ACM conference on Hypertext and hypermedia , HYPERTEXT '03, pp.57-66, 2003.
DOI : 10.1145/900051.900063

M. Nielsen and F. Valencia, Notes on timed ccp, 4th Advanced Course on Petri Nets ICPN'03, 2004.

C. Palamidessi and F. Valencia, A temporal concurrent constraint programming calculus, Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, pp.302-316, 2001.

V. 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. Saraswat, X. Parc, and M. Rinard, 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

M. Toro, C. Rueda, G. Assayag, and C. Agón, Ntccrt: A concurrent constraint framework for real-time interaction, Proc. of International Computer Music Conference, 2009.