Publications

(2006). XML schema, tree logic and sheaves automata. Applicable Algebra in Engineering, Communication and Computing.

Project DOI

(2001). Fixed Points in the Ambient Logic. In Proc. of FICS 2001.

PDF

(1999). A Bisimulation for the Blue Calculus. Research Report INRIA.

PDF