synchronous model of computation

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