Deriving labels and bisimilarity for concurrent constraint programming, Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures, pp.138-152, 2011. ,
, semantic structures, vol.3, 1995.
Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science, pp.37-78, 1995. ,
Modal logic, volume 53 of cambridge tracts in theoretical computer science, 2001. ,
Modal Logic, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00100503
, Residuation Theory, International Series of Monographs in Pure and Applied Mathematics, vol.102, 1972.
Handbook of modal logic, vol.3, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00580143
, International Conference on Computational Methods in Systems Biology, pp.257-278, 2004.
A spatial logic for concurrency (part ii), Proceedings of the 13th International Conference of Concurrency Theory, pp.209-225, 2002. ,
A spatial logic for concurrency (part i). Information and Computation, pp.194-235, 2003. ,
Mobile ambients, Proceedings of the First International Conference on Foundations of Software Science and Computation Structure, FoSSaCS'98, pp.140-155, 1998. ,
Orna Grumberg, and Doron Peled. Model checking, 1999. ,
Modal logic, vol.35, 1997. ,
Galois connections and applications, vol.565, 2013. ,
06361 executive report-computing media languages for spaceoriented computation, Dagstuhl Seminar Proceedings ,
, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2007.
Observational logics and concurrency models, FSTTCS'90, vol.472, pp.301-315, 1990. ,
Back and forth bisimulations, CONCUR '90, vol.458, pp.152-165, 1990. ,
Three logics for branching bisimulation, Journal of the ACM (JACM), vol.42, issue.2, pp.458-487, 1995. ,
Introduction to lattices and order, 2002. ,
, Reasoning about knowledge, 1995.
Is justified true belief knowledge? analysis, vol.23, pp.121-123, 1963. ,
, 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, vol.86, issue.1, pp.107-133, 2017. ,
Propositional temporal logics and equivalences, CONCUR'92, vol.630, pp.222-236, 1992. ,
Mathematical modal logic: a view of its evolution, Journal of Applied Logic, vol.1, issue.5, pp.309-392, 2003. ,
A labelled semantics for soft concurrent constraint programming, International Conference on Coordination Languages and Models, pp.133-149, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01149227
Knowledge and belief, 1962. ,
Algebraic laws for nondeterminism and concurrency, Journal of the ACM (JACM), vol.32, issue.1, pp.137-161, 1985. ,
Valencia. An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic, PPDP 2015, pp.161-172, 2015. ,
Reasoning about common knowledge with infinitely many agents. Information and Computation, vol.191, pp.1-40, 2004. ,
Defining knowledge in terms of belief: The modal logic perspective. The Review of Symbolic Logic, pp.469-487, 2009. ,
Spatial and epistemic modalities in constraint-based process calculi, CONCUR 2012, vol.7454, pp.317-332, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00761116
Modal operators on heyting algebras, Algebra Universalis, vol.12, issue.1, pp.5-29, 1981. ,
Model checking, 2003. ,
A calculus of communicating systems, 1980. ,
Communication and concurrency, vol.84, 1989. ,
, Barbed bisimulation. Automata, Languages and Programming, pp.685-695, 1992.
The algebra of topology, Annals of mathematics, pp.141-191, 1944. ,
Models and emerging trends of concurrent constraint programming, Constraints, vol.18, issue.4, pp.535-578, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00869192
Concurrency and automata on infinite sequences. Theoretical computer science, pp.167-183, 1981. ,
The temporal logic of reactive and concurrent systems, 1992. ,
First steps in modal logic, 1994. ,
Past, present and future, vol.154, 1967. ,
A hyperdoctrinal view of concurrent constraint programming, Workshop of Semantics: Foundations and Applications, pp.457-476, 1993. ,
A logic with reverse modalities for history-preserving bisimulations, EXPRESS'11, vol.64, pp.104-118, 2011. ,
Counterfactuals and updates as inverse modalities, Journal of Logic, Language and Information, pp.123-146, 1997. ,
Semantic foundations of concurrent constraint programming, POPL'91, pp.333-352, 1991. ,
Topology via logic, 1996. ,