Αποστολή με SMS: Agent Technology from a Formal Perspective