Envoyer par SMS: Implementación en erlang de sistemas distribuidos a través del cálculo de eventos