Domain theory, Handbook of Logic in Computer Science, vol.3, pp.1-168, 1994. ,
Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science, pp.37-78, 1995. ,
Introduction to lattices and order, 2002. ,
On the measurement of polarization, Econometrica, vol.62, issue.4, pp.819-851, 1994. ,
, Reasoning about knowledge, 1995.
, Continuous lattices and domains, 2003.
Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion, Journal of Logical and Algebraic Methods in Programming, 2016. ,
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
Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic, Theoretical Computer Science, vol.744, pp.56-77, 2018. ,
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
Using reasoning about knowledge to analyze distributed systems, Annual review of computer science, vol.2, issue.1, pp.37-68, 1987. ,
Knowledge and common knowledge in a distributed environment, Journal of the ACM (JACM), vol.37, issue.3, pp.549-587, 1990. ,
Reasoning about common knowledge with infinitely many agents. Information and Computation, vol.191, pp.1-40, 2004. ,
On economies with many agents, Journal of Economic Theory, vol.2, issue.2, pp.161-188, 1970. ,
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
Computing with epistemic and spatial modalities. Submitted for journal publication, 2019. ,
On validity in modelization of musical problems by ccp, Soft Computing, vol.8, issue.9, pp.641-648, 2004. ,
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. ,