मिलनर के बिग्रेड की ऐतिहासिक जड़ें क्या हैं?

Question

रॉबिन मिलनर ने बिग्रेड्स को ग्राफ-जैसी संरचना के साथ ग्राफिकल संरचना के एक प्रकार के रूप में परिभाषित किया , लेकिन जहां नोड्स को नेस्टेड किया जा सकता है। वे सीसीएस और जैसे प्रक्रिया पथरी सामान्यीकरण -calculus, लेकिन मिलनर उन्हें और अधिक आम तौर पर इस्तेमाल किया जा करने के लिए लक्षित है लगता है: संगोष्ठी नोटों उनकी मृत्यु के विस्तार के हाल के घटनाक्रमों से पहले शीघ्र ही से।$\pi$

आगे की बजाय पीछे मुड़कर देखें, तो मिलनर की 2009 की पाठ्यपुस्तक द स्पेस एंड मोशन ऑफ कम्यूनिकेटिंग एजेंट्स का प्रस्ताव , एक ऐतिहासिक पृष्ठभूमि प्रदान नहीं करता है। मिलनर ने स्पष्ट रूप से मोबाइल एंबिएंस और पीआई कैलकुलस में इसकी जड़ें स्वीकार कीं। फिर भी मॉडल इतना सामान्य है कि पुराने मॉडल के मजबूत संबंध होने के लिए बाध्य हैं।

क्या बड़े पैमाने के ऐतिहासिक पूर्ववर्ती हैं?

जिस तरह से वे विकसित प्रणालियों को पकड़ने के लिए उपयोग किए जाते हैं, उसके बजाय सिंटैक्टिक तत्वों पर ध्यान केंद्रित करना, एक स्पष्ट मिसाल है एबी केम्प, ए थ्योरी ऑन द मैथेमेटिकल फॉर्म , द फिलॉसॉफिकल ट्रांजैक्शंस ऑफ द रॉयल सोसाइटी ऑफ लंदन 177, 1-70, 1886। केम्पे कागज ने वर्टेक्स और एज रंगीन ग्राफ पेश किए होंगे (मैं पहले के उपयोग से अनभिज्ञ हूं लेकिन संकेत का स्वागत करता हूं)। केम्पे को भी लगता है कि मिलनर की परिकल्पना को ध्यान में रखते हुए कुछ इसी तरह के सामान्य अनुप्रयोग थे। क्या अन्य पूर्ववर्तियों का उल्लेख किया जाना चाहिए?

(संपादित करें: अब इस समुदाय के विकी को चिह्नित करते हुए, आगे के जवाबों को आकर्षित करने की उम्मीद में।)

Comments

इतना अच्छा सवाल!

Answer 1

रिएक्टिव सिस्टम के संदर्भ में बिगोग्राफ के लिए श्रेणी सिद्धांत का अधिकांश कार्य किया गया:

लीफ़र, जे जे और मिलनर, आर (2000)। प्रतिक्रियाशील प्रणालियों के लिए बिसिमुलेशन बधाई देना । पेलिमेदेसी, सी। में, संपादक, प्रोसिडिंग्स ऑफ द 11 वीं इंटरनेशनल कॉन्फ्रेंस ऑन कंसीडर थ्योरी (CONCUR'00), कंप्यूटर साइंस में लेक्चर नोट्स के वॉल्यूम 1877 , पृष्ठ 243-258। स्प्रिंगर-वर्लग। ( लिंक )

यह परिणाम था जिसने दिखाया कि पर्याप्त आरपीओ की उपस्थिति में बाइसीम्यूलेशन एक बधाई है।

जैसा कि आपने सही ढंग से नोट किया है, निश्चित रूप से विभिन्न परिवेशीय गणनाओं के साथ लिंक हैं - विशेष रूप से "स्थान" की धारणा को कैप्चर करने में।

रासायनिक तत्व मशीन शायद प्रतिक्रियाओं के शब्दों के साथ ही (जैसे झिल्ली के रूप में) कुछ अन्य अवधारणाओं कि परिचित जब bigraphs दुनिया से देखा देखने के संदर्भ में - (चाम) भी महत्वपूर्ण के रूप में उद्धृत किया गया है। यह मेरे लिए संभवतः कई मायनों में बड़े प्रतिक्रियाशील सिस्टम के वैचारिक पूर्वज होने का स्पष्ट संकेत दिखाता है।

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

यह किसी भी तरह से पूर्ण नहीं है, लेकिन मुझे लगता है कि यह निश्चित रूप से कई, कई अलग-अलग विचारों से प्राकृतिक प्रगति के रूप में bigraphs के विकास को देखने के लिए उचित है।

Comments

जब बड़े लोग स्थानीयता और गतिशीलता का उल्लेख करते हैं तो क्या वे वास्तविक भौतिक स्थान स्थानीयता और गतिशीलता का उल्लेख कर रहे हैं? या इन अवधारणाओं का उपयोग स्थानीयता और गतिशीलता के अधिक सार धारणाओं के लिए किया जा सकता है?

— CMCDragonkai 13

@CMCDragonkai देर से उत्तर (एक वर्ष देर से ...) के लिए माफी माँगता है, लेकिन निश्चित रूप से स्थानीयता और गतिशीलता की सार धारणा। उदाहरण के लिए, स्थानीयता का उपयोग बीजीय शब्दों की संरचना को सांकेतिक शब्दों में बदलना करने के लिए बड़े पैमाने पर किया जाता है जैसा कि अक्सर किसी इमारत की संरचना को एनकोड करने के लिए किया जाता है।

— जियान