Изменения

'''Шаг''' из одной конфигурации в другую — это либо приём какого-то сообщения процессом (событие), либо и последовавшие за этим внутренние действия процесса между соседними до следующего <code>receive()</code>. Эти действия ''однозначно'' определяются предыдущей конфигурацией и событием.