Puzzles solving in Communicating Sequential Processes (CSPm)