Zaslat SMS: Синтез параллельных программ и систем на вычислительных моделях