The state operator in process algebra by J.O. Blanco