समानता और प्रमुख प्रक्रिया बीजगणित में अंतर

Question

मेरी जानकारी के लिए, तीन प्रमुख प्रक्रिया बीजगणित हैं जिन्होंने संगामिति के औपचारिक मॉडल में अनुसंधान की एक विशाल श्रृंखला को प्रेरित किया है। य़े हैं:

• रॉबिन मिलनर द्वारा CCS और -calculus दोनों$\pi$
• टोनी होरे द्वारा सीएसपी और
• जन बर्गस्त्र और जन विलेम क्लॉप द्वारा एसीपी

इन तीनों से लगता है कि यह दिन काफी सक्रिय है और उन पर भारी मात्रा में शोध किया गया है।

इन दृष्टिकोणों की प्रमुख समानताएं और अंतर क्या हैं? इस प्रक्रिया में अनुसंधान को परिवर्तित करने के बजाय बीजगणित को अलग क्यों किया गया है, इस अर्थ में कि क्षेत्र को एकजुट करने के लिए कोई सार्वभौमिक मॉडल नहीं है?

Comments

आंशिक रूप से विधर्मी आंशिक उत्तर: 3 दृष्टिकोण 3 बार के लिए अनुमति देता है जितना कि कई शोध।

— काई

Answer 1

मैं केवल CSP और CCS / pi-पथरी (ACP नहीं) जानता हूं।

संदेश के माध्यम से संवाद करने वाली अनिवार्य प्रोग्रामिंग प्रक्रियाओं से सीएसपी प्रेरित था। होरे ने इसके बाद एक सरल पथरी को दूर करने की कोशिश की। दूसरी ओर, सीसीएस, लैम्बडा कैलकुलस की तरह एक मूलभूत गणना बनाने का प्रयास था। उनके मूल शुरुआती बिंदुओं को देखते हुए, और उनके अंतिम रूप को देखते हुए, मैं कहूंगा कि वे परिवर्तित होने के बजाय परिवर्तित हुए हैं ।

सीएसपी और सीसीएस के बीच जो मुझे आम लगता है, वह यह है कि दोनों "प्रक्रिया" की धारणा पर आधारित हैं (और, इसके द्वारा, मेरा मतलब है कि समय में व्यवस्थित घटनाओं की एक अमूर्त धारणा)। उनके बीच मुख्य अंतर यह है कि सीएसपी में दो प्रकार के विकल्प होते हैं (आंतरिक / बाहरी या नॉनडेटर्मिनिस्टिक / निर्धारक)। CCS में दो विचारों को एक में जोड़ दिया जाता है। मुझे लगता है कि यह एक अपूरणीय अंतर है।

आंतरिक और बाहरी पसंद के बीच अंतर सीएसपी को रैखिक निशान के संदर्भ में एक शब्दार्थ रखने की अनुमति देता है। दूसरी ओर, सीसीएस शब्दार्थ को पेड़ों पर आधारित होना चाहिए।

मुझे लगता है कि होरे की "सिद्धांतों को एकीकृत करने" की वर्तमान योजना दोनों को एक ही ढांचे में रखना है। हमें इंतजार करना होगा और देखना होगा कि वह क्या लेकर आता है!

Answer 2

एक और आंशिक जवाब।

विभिन्न समुदायों द्वारा उठाए गए शब्दार्थों के दृष्टिकोण अलग-अलग थे, कम से कम मूल रूप से।

• ACP शब्दार्थ स्वयंसिद्ध / बीजगणितीय हैं।
• सीएसपी शब्दार्थ निंदात्मक हैं, आम तौर पर निशान के संदर्भ में।
• $\pi$

बेशक, मूल शब्दार्थ के बाद से, अधिक मॉडल विकसित किए गए हैं। लेकिन यह निश्चित रूप से दिलचस्प है कि मूल शोधकर्ताओं ने विभिन्न अर्थ संबंधी दृष्टिकोणों के साथ शुरुआत की।

Answer 3

इस सवाल का उत्तर (कम से कम) कि शोध के बजाय अभिसरण के कारण डायवर्ट किया गया है।

प्रक्रिया के बीजगणित पर कोई विशेषज्ञ नहीं होने के नाते, मैं एक बार सटीक एक ही बात सोच रहा था: इतने सारे सिद्धांत क्यों हैं? मुझे Parrow: Processiveness of Process Algebras, 2008 के एक सर्वेक्षण में बताया गया । मुझे लगता है कि यह बहुत अच्छी तरह से लिखा गया है और एक नौसिखिया भी इसे समझ सकता है।

परग्रो बीजगणित की स्पष्टता की जांच करता है और प्रश्न का उत्तर देता है। संक्षेप में, एक विशाल कार्य को हल करने के लिए विभिन्न सिद्धांत विभिन्न प्रकार के उपकरण हैं।