process-algebra पर टैग किए गए जवाब

क्या आप पाई-कैलकुलस में विश्वसनीय ब्रॉडकास्ट कर सकते हैं? यदि हां, तो कैसे? यदि नहीं: क्या कोई समान प्रक्रिया बीजगणित है जहाँ आप कर सकते हैं? मैंने क्या कोशिश की है: इस तो एक संदेश भेजने के लिए करना चाहता है y सभी पी 1 के लिए पी एन , …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

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

14 process-algebra  ho.history-overview 

मेरी पृष्ठभूमि जटिलता सिद्धांत / तर्क में है (जहां ज्यादातर समय एक ही प्रक्रिया होती है), और वितरित कंप्यूटिंग में (जहां प्रक्रियाएं होती हैं, और एक या अधिक समय में विफल हो सकती हैं)। हालाँकि, मैं अब किसी प्रक्रिया के बारे में कुछ कहना चाहता हूं जो किसी अन्य प्रक्रिया …

13 dc.parallel-comp  process-algebra 

अब थोड़ी देर के लिए, मुझे प्रोग्रामिंग लैंग्वेज थ्योरी और प्रोसेस कैल्कुली में बहुत दिलचस्पी है और मैंने उनका अध्ययन करना शुरू कर दिया है। सच कहूं, तो यह कुछ ऐसा है जिसे मैं करियर के लिए तैयार नहीं करूंगा। मुझे सिद्धांत अविश्वसनीय रूप से आकर्षक लगता है। एक निरंतर …

10 pl.programming-languages  process-algebra