(Как) вы можете моделировать трансляции в пи-исчислении?
Можете ли вы моделировать надежные трансляции в пи-исчислении? Если так: как? Если нет: есть ли подобные алгебры процессов, где вы можете? Что я пробовал: Если отправитель хочет послать сообщение у всего Р 1 до Р п , можно написать ! ( ¯ х года ) . S и x ( z ) . P 1 до x ( z ) . П н . Но как вы...