HOL-CSPM - Architectural operators for HOL-CSP by Benoît Ballenghien, Safouan Taha and Burkhart Wolff Dec 05
Belief Revision Theory by Valentin Fouillard, Safouan Taha, Frédéric Boulanger and Nicolas Sabouret Oct 19