Отправить по sms: A Brief Survey of Formal Models of Concurrency