1
(Come) puoi modellare le trasmissioni nel pi-calculus?
Puoi modellare trasmissioni affidabili nel pi-calculus? Se é cosi, come? In caso contrario: ci sono algebre di processo simili in cui è possibile? Cosa ho provato: Se il mittente desidera inviare un messaggio y a tutti i P 1 a P n , è possibile scrivere ! ( ¯ x …