Предложен комбинатор, используемый в конструкциях моделей последовательных процессов, синхронизирующих согласно упорядочению организации очередей. Комбинатор строит модели, которые являются определенно компактным подмножеством с полной алгеброй. Эта ограничительная структура необходима для получения результатов невосприимчивости, так как в стохастическом процессе имеют место строгие требования к уравнениям баланса невосприимчивости.
aлгебра стохастического процесса, невосприимчивость, распределенные случайные величины