Comparative concurrency semantics and refinement of actions by R.J. van Glabbeek