1 pi-calculus에서 방송을 어떻게 모델링 할 수 있습니까? pi-calculus에서 신뢰할 수있는 방송을 모델링 할 수 있습니까? 그렇다면 : 어떻게? 그렇지 않은 경우 : 비슷한 프로세스 대수학이 있습니까? 내가 시도한 것 : 발신자 가 모든 P 1 ~ P n에 메시지 y 를 보내 려면 ! ( ¯ x y )라고 쓸 수 있습니다. S 와 x ( z … 16 pl.programming-languages formal-modeling process-algebra pi-calculus