Αποστολή με SMS: Action refinement in process algebras