Tiny editing of the problemstatement to enhance the difference between actors and csp