1
(คุณ) คุณจำลองการออกอากาศในไพแคลคูลัสได้อย่างไร?
คุณสามารถสร้างแบบจำลองการออกอากาศที่เชื่อถือได้ใน pi-แคลคูลัสได้ไหม? ถ้าเป็นเช่นนั้นได้อย่างไร ถ้าไม่: มีจีบราส์กระบวนการที่คล้ายกันที่คุณสามารถ? สิ่งที่ฉันได้ลอง: ถ้าผู้ส่งต้องการส่งข้อความทุกเพื่อP nคุณสามารถเขียน ! ( ¯ x Y ) Sและไปxแต่คุณจะรับประกันได้อย่างไรว่ามีการทำซ้ำครั้งนั่นคือไม่มีข้อความใดหายไป? ผมไม่ทราบว่าล่วงหน้า เป็นไปได้ (เท่านั้น) กับการส่งข้อความหลาย ๆ ไปมาระหว่างกระบวนการทั้งหมดที่เกี่ยวข้อง?SSSyYyP1P1P_1PnPnP_nx¯¯¯y).Sx¯y).S\overline{x}y).S x ( Z ) P n ( ¯ x y ) n nx(z).P1x(z).P1x(z).P_1x(z).Pnx(z).Pnx(z).P_n(x¯¯¯y)(x¯y)(\overline{x}y)nnnnnn ... หรือฉันเข้าใจผิดเกี่ยวกับพฤติกรรมการจำลองแบบที่ไม่ได้กำหนดไว้หรือไม่