A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences