คำถามติดแท็ก process-algebra

คุณสามารถสร้างแบบจำลองการออกอากาศที่เชื่อถือได้ใน 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 ... หรือฉันเข้าใจผิดเกี่ยวกับพฤติกรรมการจำลองแบบที่ไม่ได้กำหนดไว้หรือไม่

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

Robin Milnerกำหนดbigraphsเป็นประเภทของกราฟิกที่มีโครงสร้างเหมือนกราฟ แต่ที่โหนดสามารถซ้อนกัน พวกเขาพูดคุยกันทั่วไปเกี่ยวกับขั้นตอนการคำนวณเช่น CCS และ -calculus แต่ Milner ดูเหมือนจะตั้งใจให้พวกเขาใช้มากขึ้นโดยทั่วไป: บันทึกการสัมมนาจากไม่นานก่อนที่เขาจะเสียชีวิตรายละเอียดพัฒนาการล่าสุดππ\pi เมื่อมองย้อนกลับไปข้างหน้าคำนำของหนังสือเรียน The Space and Motion of Agent Communications ของมิลเนอร์ในปี 2009นั้นไม่ได้ให้ความสำคัญกับประวัติศาสตร์มากนัก Milner ยอมรับอย่างชัดเจนถึงรากของมันใน Mobile Ambients และ Pi แคลคูลัส ถึงกระนั้นโมเดลก็ธรรมดามากจนมีการเชื่อมโยงอย่างแน่นหนากับรุ่นเก่า มีรุ่นก่อนหน้าของ bigraphs หรือไม่ เน้นองค์ประกอบของวากยสัมพันธ์มากกว่าวิธีที่พวกเขาใช้ในการจับภาพระบบการพัฒนาแบบอย่างที่ชัดเจนคือ AB Kempe, Memoir ในทฤษฎีของแบบฟอร์มคณิตศาสตร์ธุรกรรมทางปรัชญาของราชสมาคมแห่งลอนดอน 177, 1–70, 1886 กระดาษอาจมีการแนะนำจุดสุดยอดและกราฟสีขอบ (ฉันไม่รู้การใช้งานก่อนหน้านี้ Kempe ดูเหมือนว่าจะมีแอพพลิเคชั่นทั่วไปบางประเภทอยู่ในใจที่ Milner มองเห็น มีรุ่นก่อนอื่นที่ควรกล่าวถึงหรือไม่ (แก้ไข: ตอนนี้ทำเครื่องหมายวิกิชุมชนนี้โดยหวังว่าจะได้คำตอบเพิ่มเติม)

14 process-algebra  ho.history-overview 

พื้นหลังของฉันอยู่ในความซับซ้อนของทฤษฎี / ตรรกะ (ที่มีเพียงกระบวนการเดียวส่วนใหญ่) และในการคำนวณแบบกระจาย (ที่มีกระบวนการและหนึ่งหรือมากกว่านั้นอาจล้มเหลวในช่วงเวลา) อย่างไรก็ตามตอนนี้ฉันต้องการที่จะสามารถพูดอะไรบางอย่างเกี่ยวกับกระบวนการวางไข่ / สร้าง / หมุนกระบวนการอื่น มีความเข้มงวดในการคำนวณแบบขนานระบบปฏิบัติการและอื่น ๆ หรือไม่?nnn แรงจูงใจ: ฉันพยายามสร้างแบบจำลองที่สรุปคุณสมบัติบางประการของการโต้ตอบระดับโมเลกุล ผมอยากจะบอกว่าชุดของปฏิกิริยาเคมีเป็นกระบวนการอิสระและว่าในบางขั้นตอนเวลามัน spawns อีกกระบวนการอิสระS'อย่างสังหรณ์ใจสิ่งเหล่านี้รู้สึกเหมือนกระบวนการที่เป็นอิสระเพราะพวกเขาไม่ได้ติดต่อกันหลังจากเวลาผ่านไป - หรือการติดต่อน้อยมากเพียงแลกเปลี่ยน "ข้อความ"t S ′ tSSSเสื้อttS'S′S'ttt เป็นทางการมากขึ้น: (1) มีคำจำกัดความ CS ที่มีอยู่แล้วที่จับความคิดของกระบวนการหนึ่งที่วางไข่กระบวนการอิสระอื่นหรือไม่? ฉันสนใจเป็นพิเศษในการกำหนดเขตที่หยุดและเริ่มต้นและทำไมจึงเป็น "สมเหตุสมผล" ที่ต้องทำS ′SSSS′S′S' (2) หากมีคำตอบมากกว่าหนึ่งข้อสำหรับ (1) คุณพิจารณาข้อดีข้อเสียของคำจำกัดความต่าง ๆ อย่างไร? (หมายเหตุ: ฉันไม่รู้ว่าจะติดแท็กสิ่งนี้อย่างเหมาะสมได้อย่างไรและวางแผนติดแท็กใหม่โดยขึ้นอยู่กับคำตอบ)

13 dc.parallel-comp  process-algebra 

ในขณะนี้ฉันมีความสนใจอย่างมากในการเขียนโปรแกรมทฤษฎีภาษาและกระบวนการคำนวณและเริ่มศึกษาพวกเขา พูดตามตรงมันเป็นสิ่งที่ฉันไม่รังเกียจที่จะไปประกอบอาชีพ ฉันพบว่าทฤษฎีน่าหลงใหลอย่างไม่น่าเชื่อ หนึ่งคำถามคงที่ฉันยังคงทำงานอยู่คือถ้าทั้งทฤษฎี PL หรือ Calculi มีความสำคัญใด ๆ ในการพัฒนาภาษาการเขียนโปรแกรมที่ทันสมัย ฉันเห็นตัวแปรมากมายใน Pi-แคลคูลัสที่นั่นและมีงานวิจัยมากมาย แต่พวกเขาจะต้องการหรือมีแอปพลิเคชันที่สำคัญหรือไม่? เหตุผลที่ฉันถามคือเพราะฉันรักการพัฒนาภาษาการเขียนโปรแกรมและเป้าหมายสุดท้ายที่แท้จริงคือการใช้ทฤษฎีเพื่อสร้าง PL จริง ๆ สำหรับสิ่งที่ฉันเขียนไม่มีความสัมพันธ์ใด ๆ กับทฤษฎีเลย

10 pl.programming-languages  process-algebra