संयुक्त-गणना

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

जोड़-गणना प्रक्रिया कैलकुली के π-कैलकुलस परिवार का सदस्य है, और इसके मूल में, कई मजबूत प्रतिबंधों के साथ एक अतुल्यकालिक π-कैलकुलस माना जा सकता है:

• क्षेत्र प्रतिबंध, अभिग्रहण, और प्रतिरूपित अभिग्रहण को वाक्यात्मक रूप से एक ही निर्माण, परिभाषा में विलय कर दिया गया है;
• संचार केवल परिभाषित नामों पर होता है;
• प्रत्येक परिभाषित नाम के लिए वास्तव में एक प्रतिकृति अभिग्रहण होता है।

हालाँकि, प्रोग्रामिंग के लिए एक भाषा के रूप में, जॉइन-कैलकुलस π-कैलकुलस पर कम से कम एक सुविधा प्रदान करता है - अर्थात् बहु-मार्ग जॉइन पैटर्न का उपयोग, एक साथ कई चैनलों से संदेशों के विरुद्ध मिलान करने की क्षमता।

कार्यान्वयन

जोड़-गणना पर आधारित भाषाएँ

जॉइन-कैलकुलस प्रोग्रामिंग भाषा जॉइन-कैलकुलस प्रोसेस कैलकुलस पर आधारित एक नई भाषा है। इसे ओकैमल (प्रोग्रामिंग भाषा) में लिखे गए दुभाषिया के रूप में लागू किया गया है, और स्थिर रूप से टाइप किए गए वितरित प्रोग्रामिंग, पारदर्शी दूरस्थ संचार, प्रतिनिधि-आधारित गतिशीलता और कुछ विफलता-पहचान का समर्थन करता है।

• हालांकि स्पष्ट रूप से यह जोड़-गणना पर आधारित नहीं है, क्लिप्स की नियम प्रणाली इसे लागू करती है यदि हर नियम ट्रिगर होने पर अपने इनपुट को हटा देता है (निकाल दिए जाने पर प्रासंगिक तथ्यों को वापस ले लेता है)।

जोड़-गणना के कई कार्यान्वयन मौजूदा प्रोग्रामिंग भाषाओं के विस्तार के रूप में किए गए थे:

• जोकैमल,ओकैमल का एक संस्करण है जो जॉइन-कैलकुलस प्रिमिटिव के साथ विस्तारित है
• पॉलीफोनिक C# और इसके उत्तराधिकारी Cω विस्तार C# (प्रोग्रामिंग भाषा)|
• MC# और समांतर C# पॉलीफोनिक C# का विस्तार करें
• जावा में शामिल हों जावा का विस्तार करता है
• एक समवर्ती मूल प्रस्ताव जो जॉइन-कैलकुलस का उपयोग करता है
• जेएरलांग (जे ज्वाइन के लिए है, एर्जांग जेवीएम के लिए एरलैंग है)

अन्य प्रोग्रामिंग भाषाओं में एम्बेडिंग

ये कार्यान्वयन अंतर्निहित प्रोग्रामिंग भाषा को नहीं बदलते हैं लेकिन एक कस्टम लाइब्रेरी या डीएसएल के माध्यम से कैलकुलस संचालन में शामिल होते हैं:

• स्कालाजॉइन्स और चाइमिस्ट पुस्तकालय स्काला (प्रोग्रामिंग भाषा) में हैं
• ईनार कार्टुनेन द्वारा ज्वाइनएचएस और सैम्युअल यलोप द्वारा सिलोप/ज्वाइ-भाषा हास्केल में जॉइन कैलकुलस के लिए डीएसएल हैं
• जॉइनैड्स - F#(प्रोग्रामिंग लैंग्वेज) में ज्वाइन कैलकुलस के विभिन्न कार्यान्वयन
• कोकोजॉइन आईओएस और मैक ओएस एक्स के लिए उद्देश्य सी में एक प्रायोगिक कार्यान्वयन है
• जॉइन पायथन लाइब्रेरी पायथन 3 में है
• C++ बूस्ट के माध्यम से (2009 से बूस्ट के लिए, ca. v. 40, वर्तमान (दिसंबर '19) 72 है)।

बाहरी संबंध

• आईएनआरआईए, कैलकुलस होमपेज से जुड़ें
• माइक्रोसॉफ्ट रिसर्च, द जॉइन कैलकुलस: डिस्ट्रीब्यूटेड मोबाइल प्रोग्रामिंग के लिए एक भाषा