Domain theory. Handbook of logic in computer science, pp.1-77, 1994. ,
Dynamic epistemic logics of diffusion and prediction in social networks, 2015. ,
Modal Logic, 2002. ,
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100503
Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science, pp.37-78, 1995. ,
A Spatial Logic for Concurrency (Part II), Proceedings of the 13th International Conference of Concurrency Theory, CONCUR 2002, pp.209-225, 2002. ,
DOI : 10.1007/3-540-45694-5_15
A spatial logic for concurrency (part i) Information and Computation, pp.194-235, 2003. ,
DOI : 10.1007/3-540-45694-5_15
Avoiding the state explosion problem in temporal logic model checking, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.294-303, 1987. ,
DOI : 10.1145/41840.41865
Introduction to lattices and order, 2002. ,
Reasoning about knowledge, 1995. ,
Belief, knowledge, lies and other utterances in an algebra for space and extrusion, Journal of Logical and Algebraic Methods in Programming, vol.86, issue.1, pp.107-133, 2017. ,
DOI : 10.1016/j.jlamp.2016.09.001
URL : https://hal.archives-ouvertes.fr/hal-01257113
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP '15, pp.161-172, 2015. ,
DOI : 10.1007/978-3-642-29326-9_4
URL : https://hal.archives-ouvertes.fr/hal-01256984
Spatial and Epistemic Modalities in Constraint-Based Process Calculi, Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, pp.317-332, 2012. ,
DOI : 10.1007/978-3-642-32940-1_23
URL : https://hal.archives-ouvertes.fr/hal-00761116
Temporal Verification of Reactive Systems: Safety, 2012. ,
DOI : 10.1007/978-1-4612-4222-2
A hyperdoctrinal view of concurrent constraint programming, Workshop of Semantics: Foundations and Applications, REX, pp.457-476, 1993. ,
DOI : 10.1007/3-540-56596-5_44
Opinions and beliefs as constraint system operators, Technical Communications of the 31st International Conference on Logic Programming, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01257098
The Temporal Logic of Reactive and Concurrent Systems: Specification, 1992. ,
A Logical Account of Lying, Proceeedings of the 12th European Conference of Logics in Artificial, pp.286-299, 2010. ,
DOI : 10.12775/LLP.2006.004
Semantic foundations of concurrent constraint programming, Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pp.333-352, 1991. ,
On the Logic of Lying, Games, actions and social software, pp.41-72, 2012. ,
DOI : 10.1007/978-3-642-15675-5_25
URL : https://hal.archives-ouvertes.fr/inria-00535884
Topology via logic, 1996. ,