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