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