Αποστολή με SMS: Formal Models of Agents