समवर्ती और / या वितरित प्रोग्रामिंग में औपचारिकताएं?


10

मेरी पृष्ठभूमि अनिवार्य भाषाओं से आई, मुख्य रूप से C, C ++ और पायथन। मैंने कुछ साल बाद स्काला, एरलंग और हास्केल को उठाया और तब से कार्यात्मक प्रोग्रामिंग और इसके पीछे की औपचारिकताओं में बहुत दिलचस्पी हो गई है।

मुझे समवर्ती और वितरित प्रोग्रामिंग में भी दिलचस्पी है और इसके पीछे औपचारिकता देख रहे हैं, विशेष रूप से उन लोगों ने जो कम से कम "दिन का प्रकाश" (उदाहरण के लिए वास्तविक दुनिया का उपयोग, या कम से कम कहीं पर एक कार्यान्वयन) देखा है। अब तक मुझे कम्यूनिकेटिंग सेक्शुअल प्रोसेस, एक्टर मॉडल, कम्यूनिकेटिंग प्रॉसेस के बीजगणित और कम्यूनिकेटिंग सिस्टम के कैलकुलस के बारे में पता है। इनमें से मुझे पता है कि एक्टर मॉडल ने खुद को एरलंग, स्काला और हास्केल जैसी भाषाओं में महसूस किया है।

मैं सोच रहा हूं कि क्या ऐसी नींवें हैं जिन्हें मुझे इन क्षेत्रों से निपटने से पहले सीखना चाहिए और अभ्यास करना चाहिए, अगर कोई "क्लासिक" है जिसे मुझे पहले अध्ययन करना चाहिए, और अगर कोई अन्य लोकप्रिय है जो मुझे याद हो सकता है?

जवाबों:


5

πππ


आह बहुत दिलचस्प है, धन्यवाद! इस तरह के क्षेत्र से निपटने से पहले आप किस तरह की गणितीय पृष्ठभूमि की सिफारिश करते हैं, या यह कम या ज्यादा आत्म-निहित है?
adelbertc

2
πλ
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.