Comparative Concurrency Semantics and Refinement of Actions