1
(Яким чином) ви можете моделювати трансляції в пі-рахунку?
Чи можете ви моделювати надійні трансляції в пі-рахунку? Якщо так: як? Якщо ні: Чи є подібні алгебри процесів, де ви можете? Що я спробував: Якщо відправник хоче послати повідомлення всього до , ви могли б написати ! ( і до . Але як ви гарантуєте, що повторюється разів, тобто жодне …