(Яким чином) ви можете моделювати трансляції в пі-рахунку?

Чи можете ви моделювати надійні трансляції в пі-рахунку?

Якщо так: як?

Якщо ні: Чи є подібні алгебри процесів, де ви можете?

Що я спробував:

Якщо відправник хоче послати повідомлення всього до , ви могли б написати ! ( і до . Але як ви гарантуєте, що повторюється разів, тобто жодне повідомлення не втрачається? Я не знаю заздалегідь. Чи можливо (лише) надсилати кілька повідомлень назад і назад між усіма процесами, що займаються?$S$$y$$P_1$$P_n$
$\overline{x}y).S$$x(z).P_1$$x(z).P_n$$(\overline{x}y)$$n$$n$

... чи я неправильно розумію недетерміновану поведінку реплікації?

Близько десятиліття тому Ене і Мунтян показали, що мовлення не має розумного композиційного кодування в -розрахунок [1]. Суть їхнього розмежування між комунікацією між точкою та передачею повідомлення легко зрозуміти: точка-точка - "занадто асинхронна". Це означає, що в радіомовної системі відправник мовлення може відправити n процесів одним атомним кроком для довільного n . OTOH, якщо процес хоче спілкуватися з n процесами, використовуючи комунікацію "точка-точка", це можна зробити лише за допомогою $\pi$$n$$n$$n$$n$(або більше) окремих обмінів повідомлень, які мають проміжні стани (наприклад, відправник надіслав повідомлення 100 приймачам, і потрібно надіслати ще 150). Контекст може спостерігати, взаємодіяти та втручатися в ці проміжні стани, що неможливо із повідомленнями атомної трансляції. Щоб вирішити цей недолік -рахунку (або взагалі будь-якого обчислення, заснованого на передачі повідомлення «точка-точка»), Ене та Мунтян пропонують варіант трансляції b $\pi$$\pi$ [2, 3], заснований на попередній роботі Прасада над CBS, варіант CCS з мовленням [4].

Більш технічно [1] називає кодування розумним, якщо так відбувається.$e$

• $e(P|Q) = e(P) | e(Q)$
• $e(P\sigma) = e(P)\sigma$$\sigma$
• Кодування задовольняє деяким технічним умовам щодо збереження вхідних та вихідних дій, детальніше див. [1].

$\pi$$\pi$ може існувати. Вони встановлюють цей результат поділу, використовуючи варіант методики підтвердження виборчих систем Паламідессі [5].

З даної роботи [1-4] було опубліковано роботи, наприклад, М. Геннесі, але це першопрохідні документи.

$\pi$

[1] C. Ene, T. Muntean, Експресивність "точка-точка-точка" проти широкомовної комунікації .

[2] C. Ene, T. Muntean, Розрахунок на основі широкомовної інформації для комунікаційних систем .

[3] C. Ene, T. Muntean, Тестування теорій процесів мовлення .

[4] KVS Prasad, Обчислення систем радіомовлення .

$\pi$