Αποστολή με SMS: Desing and analysis of distributed algorithms