Partial ordering derivations for CCS