A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series by Benjamin Puyobro, Benoît Ballenghien and Burkhart Wolff Feb 12
HOL-CSPM - Architectural operators for HOL-CSP by Benoît Ballenghien, Safouan Taha and Burkhart Wolff Dec 05