Протоколы. L1. протоколы(Р || Q) = {t | (t­aР) протоколы(

Пусть t — протокол (Р || Q). Тогда все события из t, принадлежащие алфавиту aР, являлись событиями в жизни P, а все события из t, не принадлежащие aР, происходили без участия P. Таким образом, (taР) — это протокол всех событий, в которых участвовал процесс P, и поэтому он является протоколом P. По тем же соображениям (taQ) является протоколом Q. Более того, каждое событие из t должно содержаться либо вaР, либо в aQ. Эти рассуждения позволяют сформулировать закон

L1. протоколы(Р || Q) = {t | (t­aР) протоколы(Р)

AND (t­aQ) протоколы(Q) AND t (aР aQ)^*}.