S. Abramsky and A. Jung, Domain theory, Handbook of Logic in Computer Science, vol.3, pp.1-168, 1994.

F. S. Boer, A. D. Pierro, and C. Palamidessi, Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science, pp.37-78, 1995.

A. Brian, H. A. Davey, and . Priestley, Introduction to lattices and order, 2002.

J. Esteban and D. Ray, On the measurement of polarization, Econometrica, vol.62, issue.4, pp.819-851, 1994.

R. Fagin, Y. Joseph, Y. Halpern, M. Y. Moses, and . Vardi, Reasoning about knowledge, 1995.

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove et al., Continuous lattices and domains, 2003.

M. Guzmán, S. Haar, S. Perchy, C. Rueda, and F. Valencia, Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion, Journal of Logical and Algebraic Methods in Programming, 2016.

M. Guzman, S. Perchy, C. Rueda, and F. Valencia, Deriving Inverse Operators for Modal Logic, Theoretical Aspects of Computing -ICTAC 2016, vol.9965, pp.214-232, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01328188

M. Guzmán, S. Perchy, C. Rueda, and F. Valencia, Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic, Theoretical Computer Science, vol.744, pp.56-77, 2018.

S. Haar, S. Perchy, C. Rueda, and F. Valencia, An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic, 17th International Symposium on Principles and Practice of Declarative Programming, pp.161-172, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01256984

Y. Joseph and . Halpern, Using reasoning about knowledge to analyze distributed systems, Annual review of computer science, vol.2, issue.1, pp.37-68, 1987.

Y. Joseph, Y. Halpern, and . Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM (JACM), vol.37, issue.3, pp.549-587, 1990.

Y. Joseph, R. Halpern, and . Shore, Reasoning about common knowledge with infinitely many agents. Information and Computation, vol.191, pp.1-40, 2004.

W. Hildenbrand, On economies with many agents, Journal of Economic Theory, vol.2, issue.2, pp.161-188, 1970.

S. Knight, C. Palamidessi, P. Panangaden, and F. D. Valencia, Spatial and Epistemic Modalities in Constraint-Based Process Calculi, CONCUR 2012 -23rd International Conference on Concurrency Theory, vol.7454, pp.317-332, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00761116

S. Knight, F. Prakash-panangaden, and . Valencia, Computing with epistemic and spatial modalities. Submitted for journal publication, 2019.

C. Rueda and F. Valencia, On validity in modelization of musical problems by ccp, Soft Computing, vol.8, issue.9, pp.641-648, 2004.

V. A. Saraswat, M. 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.