Anglais ⇄ Russe +

synchronous model of computation contraintes
progr.	синхронная модель вычислений (в ней все процессы совершают переходы в каждый момент времени, а значения выходов на том или ином шаге становятся значениями соответствующих входов на следующем шаге ssn)