HOL-CSPM - Architectural operators for HOL-CSP by Benoît Ballenghien, Safouan Taha and Burkhart Wolff Dec 05