A distributed operational semantics for CCS based on C/E systems