An abstraction mechanism for process algebras