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