Префиксы

Пусть х — событие, а Р — процесс. Тогда (х Р) (читается как «Р за х») описывает объект, который вначале участвует в событии х, а затем ведет себя в точности как Р, где

a(х Р) = aР, x aР.

Пример 3.1. Простой торговый автомат, который благополучно обслуживает двух покупателей и затем ломается:

(мон (шок (мон (шок СТОП_aТАП)))).

В дальнейшем скобки будут опускаться в случае линейной последовательности событий. Условимся, что операция → ассоциативна справа.