Αποστολή με SMS: Formal Approaches to Agent-Based Systems