Enviar por SMS: Logics and models of concurrent systems /