Αποστολή με SMS: Modeling and Verification of Parallel Processes