ความเหมือนและความแตกต่างในจีบราส์กระบวนการที่สำคัญ

สำหรับความรู้ของฉันมีจีบราส์กระบวนการสำคัญสามประการที่เป็นแรงบันดาลใจให้มีการวิจัยมากมายในรูปแบบที่เป็นทางการของการเกิดพร้อมกัน เหล่านี้คือ:

• CCS และ -calculus ทั้งคู่โดย Robin Milner$\pi$
• CSP โดย Tony Hoare และ
• ACP โดย Jan Bergstra และ Jan Willem Klop

ทั้งสามดูเหมือนจะมีมาจนถึงทุกวันนี้มีงานวิจัยจำนวนมากและมีงานวิจัยมากมาย

อะไรคือความคล้ายคลึงและความแตกต่างที่สำคัญของวิธีการเหล่านี้? ทำไมการวิจัยในพีชคณิตของกระบวนการถูกแยกออกแทนที่จะมารวมกันในแง่ที่ว่าไม่มีรูปแบบสากลที่จะรวมเป็นหนึ่งเดียวในสนาม

ฉันรู้ CSP และ CCS / pi-แคลคูลัสเท่านั้น (ไม่ใช่ ACP)

CSP ได้รับแรงบันดาลใจจากกระบวนการเขียนโปรแกรมที่จำเป็นซึ่งสื่อสารผ่านข้อความ ฮูร์จึงพยายามทำให้แคลคูลัสง่ายหายไป CCS ตรงกันข้ามเป็นความพยายามที่จะสร้างแคลคูลัสพื้นฐานเช่นแลมบ์ดาแคลคูลัส จากจุดเริ่มต้นดั้งเดิมของพวกเขาและได้รับฟอร์มสุดท้ายของพวกเขาฉันจะบอกว่าพวกเขามาบรรจบกันมากกว่าที่แยกออก

สิ่งที่ฉันพบได้ทั่วไประหว่าง CSP และ CCS คือทั้งสองอย่างนั้นขึ้นอยู่กับแนวคิดของ "กระบวนการ" (และโดยที่ฉันหมายถึงแนวคิดที่เป็นนามธรรมของเหตุการณ์ที่จัดในเวลา) ความแตกต่างที่สำคัญระหว่างพวกเขาคือ CSP มีตัวเลือกสองรูปแบบ (ภายใน / ภายนอกหรือ nondeterministic / deterministic) ใน CCS ความคิดทั้งสองนั้นจะถูกหลอมรวมเป็นหนึ่ง ฉันคิดว่านั่นเป็นความแตกต่างที่เข้ากันไม่ได้

ความแตกต่างระหว่างตัวเลือกภายในและภายนอกช่วยให้ CSP มีความหมายในแง่ของการติดตามเชิงเส้น ในทางกลับกันความหมายของ CCS จะต้องเป็นไปตามต้นไม้

ฉันคิดว่าแผนปัจจุบันของ Hoare สำหรับ "Unifying theories" คือการวางทั้งสองอย่างไว้ในกรอบเดียว เราต้องรอดูว่าเขาเกิดอะไรขึ้น!

อีกคำตอบบางส่วน

แนวทางในการใช้ความหมายของชุมชนต่างๆนั้นแตกต่างกันอย่างน้อยที่สุด

• ความหมายของ ACP คือสัจพจน์ / พีชคณิต
• CSP ซีแมนทิกส์เป็นแบบ denotational โดยทั่วไปในแง่ของร่องรอย
• $\pi$

แน่นอนตั้งแต่ความหมายดั้งเดิมมีการพัฒนารูปแบบมากขึ้น แต่เป็นที่น่าสนใจอย่างแน่นอนที่นักวิจัยเริ่มต้นด้วยวิธีการทางความหมายที่แตกต่างกัน

ตอบคำถามของคุณอย่างน้อยในส่วนที่เกี่ยวกับสาเหตุที่การวิจัยแยกออกแทนที่จะมารวมกัน

เมื่อไม่มีผู้เชี่ยวชาญเกี่ยวกับจีบราส์กระบวนการฉันเคยสงสัยในสิ่งเดียวกัน: ทำไมมีทฤษฎีมากมาย ผมก็ชี้ไปที่การสำรวจโดยParrow: การแสดงออกของกระบวนการ Algebras 2008 ฉันคิดว่ามันเขียนได้ดีมากและแม้แต่สามเณรก็สามารถเข้าใจได้

Parrow ตรวจสอบการแสดงออกของจีบราส์และตอบคำถาม กล่าวโดยย่อทฤษฎีต่าง ๆ เป็นเครื่องมือประเภทต่าง ๆ สำหรับการแก้ปัญหาอันยิ่งใหญ่