Action refinement in process algebras | lit.salon