Читаю недавно книгу "Спецификация систем". В главе 5 Лесли определяет постоянный оператор Send ( , , , ). Я не понимаю, как присвоить значение (True / False) этому константному выражению? Нужно ли нам назначать True / False для каждого (p, v, m,...