Regular expressions in process algebra