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

3
समानता और प्रमुख प्रक्रिया बीजगणित में अंतर
मेरी जानकारी के लिए, तीन प्रमुख प्रक्रिया बीजगणित हैं जिन्होंने संगामिति के औपचारिक मॉडल में अनुसंधान की एक विशाल श्रृंखला को प्रेरित किया है। य़े हैं: रॉबिन मिलनर द्वारा CCS और -calculus दोनोंππ\pi टोनी होरे द्वारा सीएसपी और जन बर्गस्त्र और जन विलेम क्लॉप द्वारा एसीपी इन तीनों से लगता …

3
जब दो सिमुलेशन एक द्विभाजन नहीं हैं?
एक लेबल संक्रमण प्रणाली देखते हुए , जहां राज्यों का एक सेट है, लेबल का एक सेट है, और एक टर्नरी संबंध है। हमेशा की तरह, लिखने के लिए । लेबल किए गए ट्रांज़िशन अर्थ है कि राज्य में सिस्टम, लेबल साथ को राज्य बदलता है , जिसका अर्थ है …

2
दो अलग-अलग कीमतों के साथ एक ड्रिंक मशीन के लिए सीसीएस प्रक्रिया
एक ड्रिंक डिस्पेंसर के लिए उपयोगकर्ता को एक सिक्का ( ) सम्मिलित करने की आवश्यकता होती है , फिर तीन में से एक बटन दबाएं: tea d चाय एक कप चाय ई चाय का अनुरोध करता है , कॉफी के लिए डिट्टो , और requests r अनुरोध वापस करता है …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.