💻 computer science

Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency

यह शोध पत्र एक अमूर्त सिंक्रोनस परमाणु बीजगणित (abstract synchronous atomic algebra) के भीतर उन्हें स्थापित करके और यह प्रदर्शित करके कि कमांड रूपों को प्रतिबंधित करना बीजगणितीय तर्क के लिए मजबूत समानता नियमों को सक्षम करता है, एक रिलाय-गारंटी (rely-guarantee) समवर्ती ढांचे के भीतर समानांतर संयोजन (parallel composition) के लिए वितरणात्मक नियमों (distributive laws) को विकसित और औपचारिक रूप देता है।

मूल लेखक: Ian J. Hayes, Larissa A. Meinicke

प्रकाशित 2026-07-21

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Ian J. Hayes, Larissa A. Meinicke

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

*** ड्राफ्ट ***

कल्पना कीजिए कि आप एक विशाल नृत्य दल (डांस ट्रूप) को कोरियोग्राफ करने की कोशिश कर रहे हैं जहाँ सैकड़ों नर्तक एक ही मंच पर एक साथ नृत्य कर रहे हैं। कंप्यूटर विज्ञान की दुनिया में, यह कन्करेंट प्रोग्रामिंग (concurrent programming) की चुनौती है: कई कंप्यूटर प्रोग्रामों (थ्रेड्स) को एक-दूसरे से टकराए बिना एक ही समय में चलाने का कार्य। समस्या यह है कि यदि एक नर्तक कोई प्रॉप (सामग्री) पकड़ता है, तो दूसरे को उसकी आवश्यकता हो सकती है, या वे गलती से एक-दूसरे के पैरों पर पैर रख सकते हैं, जिससे पूरा शो क्रैश हो सकता है। इसे हल करने के लिए, कंप्यूटर वैज्ञानिक रिलाय-गारंटी (Rely-Guarantee) नामक नियमों के एक सेट का उपयोग करते हैं। "रिलाय" (Rely) को एक नर्तक के वादे के रूप में सोचें: "मैं वादा करता हूँ कि मैं तभी हिलूँगा जब अन्य नर्तक इस विशिष्ट क्षेत्र के भीतर रहेंगे।" "गारंटी" (Guarantee) को एक नर्तक की प्रतिबद्धता के रूप में सोचें: "मैं वादा करता हूँ कि मैं जो कुछ भी करूँगा, मैं इस क्षेत्र से बाहर नहीं जाऊँगा।" इन वादों को लिखकर, आप यह सिद्ध कर सकते हैं कि पूरा दल सही ढंग से प्रदर्शन करेगा, भले ही आपको यह न पता हो कि प्रत्येक नर्तक वास्तव में कब हिलेगा।

अब, कल्पना कीजिए कि आप कोरियोग्राफी को सरल बनाने की कोशिश करने वाले निर्देशक हैं। आपके पास एक जटिल रूटीन है जहाँ एक नर्तक एक वादा (एक "गारंटी") करता है और फिर एक साथ दो काम करता है (पैरलल कंपोजिशन)। आप जानना चाहते हैं: क्या मैं उस वादे को विभाजित कर सकता हूँ और उसकी एक प्रति प्रत्येक दो छोटे रूटीन को दे सकता हूँ? गणित में, इसे एक डिस्ट्रिब्यूटिव लॉ (distributive law) कहा जाता है। यह पूछने जैसा है कि क्या आप दो अलग-अलग समूहों को एक ही नियम बांट सकते हैं और क्या परिणाम वही होगा जो तब होता यदि आपने पूरे समूह को एक साथ वह नियम दिया होता। यह शोध पत्र इन वादों के बीजगणित (अलजेब्रा) की गहराई में जाकर यह पता लगाता है कि आप वास्तव में उन्हें कब विभाजित कर सकते हैं और कब आप बिल्कुल भी ऐसा नहीं कर सकते।

शोध पत्र की बड़ी खोज

इस शोध पत्र में, इयान जे. हेज़ और लारिसा ए. मीनिकीв 'बीजगणितीय जासूसों' की तरह काम करते हैं, जो उन विशिष्ट स्थितियों की तलाश कर रहे हैं जिनके तहत ये "वादे" (गारंतियाँ) समानांतर कार्यों (पैरलल टास्क) में वितरित किए जा सकते हैं। वे कन्करेंट रिफाइनमेंट अलजेब्रा (Concurrent Refinement Algebra) नामक एक औपचारिक प्रणाली के भीतर काम कर रहे हैं, जो एक फैंसी तरीका है यह कहने का कि वे यह सिद्ध करने के लिए एक गणितीय टूलबॉक्स बना रहे हैं कि कंप्यूटर प्रोग्राम सही ढंग से काम करते हैं।

उनकी मुख्य खोज वादों को विभाजित करने के लिए एक "गोल्डिलॉक्स" (Goldilocks) नियम की तरह है। वे सिद्ध करते हैं कि यदि किसी वादे में एक बहुत ही विशिष्ट गुण है—समानांतर संरचना (पैरलल कंपोजिशन) के संबंध में "इडम्पोटेंट" (idempotent) होना—तो आप एक "गारंटी" कमांड को पैरलल कंपोजिशन पर वितरित कर सकते हैं (यानी एक वादे को दो समानांतर कार्यों में विभाजित करना)। सरल शब्दों में, इसका अर्थ है कि वादा आत्म-समान (self-similar) होना चाहिए; यदि आप उस वादे को लेते हैं और उसे अपने आप के साथ चलाते हैं, तो यह वादे की प्रकृति को नहीं बदलता है।

लेखक दिखाते हैं कि एक मानक गारंटी (Guarantee) कमांड के लिए (जहाँ एक थ्रेड यह वादा करता है कि वह अपने हस्तक्षेप को एक निश्चित सीमा के भीतर रखेगा), यह स्थिति सत्य होती है। इसलिए, वे निम्नलिखित समानता को सिद्ध करते हैं:

Guarantee(Promise) + (Task A || Task B) = (Guarantee(Promise) + Task A) || (Guarantee(Promise) + Task B)

यह एक शक्तिशाली उपकरण है। इसका अर्थ है कि यदि आपके पास एक जटिल प्रोग्राम है जहाँ एक थ्रेड दो चीजें एक साथ करते हुए एक वादा करता है, तो आप उसे दो छोटे, सरल प्रोग्रामों में तोड़ सकते हैं, जिनमें से प्रत्येक में वही वादा शामिल होगा। यह बड़े, जटिल सॉफ्टवेयर सिस्टमों को सत्यापित करना बहुत आसान बना देता है।

वे किसे खारिज करते हैं

हालाँकि, यह शोध पत्र बहुत सावधानी से हमें बताता है कि क्या काम नहीं करता है। लेखक स्पष्ट रूप से इस विचार का खंडन करते हैं कि यही ट्रिक रिलाय (Rely) स्थितियों के लिए भी काम करती है। "रिलाय" एक धारणा है जो एक थ्रेड पर्यावरण (अन्य थ्रेड्स) के बारे में बनाता है।

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

शोध पत्र दिखाता है कि समीकरण:

Rely(Condition) + (Task A || Task B) = (Rely(Condition) + Task A) || (Rely(Condition) + Task B)
सामान्य रूप से असत्य है।

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

वे कितने सुनिश्चित हैं?

लेखक केवल अनुमान नहीं लगा रहे हैं या सिमुलेशन नहीं चला रहे हैं; उन्होंने इन नियमों को गणितीय रूप से सिद्ध किया है। उन्होंने एक कठोर बीजगणितीय सिद्धांत विकसित किया और अपने सभी प्रमाणों को Isabelle/HOL नामक एक कंप्यूटर टूल का उपयोग करके औपचारिक रूप दिया। यह एक ऐसी प्रणाली है जो तार्किक अंतराल सुनिश्चित करने के लिए गणितीय प्रमाण के प्रत्येक चरण की जाँच करती है। इसलिए, जब वे कहते हैं कि एक नियम लागू होता है, तो यह उनके गणितीय ढांचे के भीतर एक सिद्ध तथ्य है। जब वे कहते हैं कि एक नियम विफल होता है, तो उनके पास एक प्रमाण है कि यह सत्य नहीं हो सकता।

द "स्यूडो-एटॉमिक" ट्विस्ट (The "Pseudo-Atomic" Twist)

इन परिणामों को प्राप्त करने के लिए, लेखकों को एक नया श्रेणी का कमांड बनाना पड़ा जिसे वे "स्यूडो-एटॉमिक" (pseudo-atomic) कहते हैं। एक ऐसे कमांड की कल्पना करें जो आमतौर पर एक एकल, अविभाज्य चरण (एटॉमिक) की तरह कार्य करता है, लेकिन कभी-कभी इसमें थोड़ा सा "विफलता" (failure) जुड़ा होता है। उन्होंने पाया कि यहाँ तक कि ये थोड़े अस्त-व्यस्त, "स्यूडो-एटॉमिक" कमांड भी उन्हीं स्वच्छ कमांडों के समान वितरण नियमों का पालन करते हैं, बशर्ते वे उसी आत्म-समानता (self-similarity) की स्थिति को पूरा करते हों। यह उनके निष्कर्षों को वास्तविक दुनिया के प्रोग्रामिंग परिदृश्यों की एक विस्तृत श्रृंखला तक विस्तारित करता है जहाँ चीजें पूरी तरह से साफ नहीं हो सकती हैं।

निचोड़ (The Bottom Line)

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

तकनीकी सारांश: रिलाय-गारंटी (Rely-Guarantee) समवर्तीता में समानांतर संयोजन के लिए वितरणात्मक नियम (Distributive Laws)

समस्या विवरण
रिलाय/गारंटी (rely/guarantee) दृष्टिकोण साझा-मेमोरी वाले समवर्ती कार्यक्रमों (concurrent programs) की शुद्धता के बारे में तर्क करने के लिए एक स्थापित विधि है, जो हस्तक्षेप धारणाओं (interference assumptions - rely) और प्रतिबद्धताओं (commitments - guarantee) को कंपोजिशनल गुणों में विघटित करके काम करती है। जबकि वितरणात्मक नियम गणित और होअर लॉजिक (Hoare logic) में प्रोग्रामों के बीजगणितीय हेरफेर के लिए मौलिक हैं, रिलाय/गारंटी ढांचे के भीतर समवर्ती प्रोग्रामों पर उनका अनुप्रयोग जटिल है। विशेष रूप से, एक कठोर बीजगणितीय सिद्धांत की आवश्यकता है जो यह निर्धारित कर सके कि कब और कैसे गारंटी और रिलाय स्थितियों को समानांतर संयोजन (parallel composition - $c_1 \parallel c_2$ ) पर वितरित किया जा सकता है। पिछले कार्यों ने क्रमिक संयोजन (sequential composition) और पुनरावृत्ति (iteration) के लिए वितरणात्मक नियम स्थापित किए हैं, लेकिन इन्हें समानांतर संयोजन ( $c_1 \parallel c_2$ ) तक विस्तारित करना चुनौतीपूर्ण है। उल्लेखनीय रूप से, जबकि गारंटी स्थितियाँ समानांतर संयोजन पर वितरित होती हैं, रिलाय स्थितियाँ सामान्यतः नहीं होती हैं, क्योंकि हस्तक्षेप धारणाओं के दायरे भिन्न होते हैं (वैश्विक वातावरण बनाम विशिष्ट थ्रेड इंटरैक्शन)। यह शोध पत्र एक एकीकृत बीजगणितीय ढांचे को विकसित करने के अंतराल को संबोधित करता है जो रिलाय और गारंटी कमांड्स के लिए सटीक वितरणात्मक नियम प्राप्त कर सके।

कार्यप्रणाली (Methodology)
लेखक एक कन्करेंट रिफाइनमेंट अल्जेब्रा (Concurrent Refinement Algebra - CRA) पर आधारित सिद्धांत विकसित करते हैं, जो वीक क्वांटल्स (weak quantales) और वीक बायक्वांटल्स (weak biquantules) का उपयोग करता है, जिसे टेस्ट्स और एटोमिक कमांड्स द्वारा संवर्धित किया गया है। कार्यप्रणाली तीन चरणों में आगे बढ़ती है:

अमूर्त बीजगणितीय आधार (Abstract Algebraic Foundation): सिद्धांत को पहले एक अत्यधिक अमूर्त "सिंक्रोनस एटोमिक अल्जेब्रा" में विकसित किया जाता है। कमांड्स को एक पूर्ण वितरणात्मक लैटिस (complete distributive lattice) के तत्वों के रूप में मॉडल किया जाता है जिसमें क्रमिक संयोजन ( $;$ ), समानांतर संयोजन ( $\parallel$ ), और वीक कंजंक्शन ( $\sqcap$ ) के लिए ऑपरेशन्स होते हैं। ढांचा एटोमिक कमांड्स (अविभाज्य ट्रांजिशन) और स्यूडो-एटोमिक कमांड्स (वे कमांड्स जो एबॉर्ट हो सकते हैं, जिन्हें $a \lor b; \top$ द्वारा दर्शाया जाता है) के बीच अंतर करता है।
सामान्य वितरणात्मक नियमों का व्युत्पन्न (Derivation of General Distributive Laws): लेखक इस बात की जांच करते हैं कि एक एटोमिक कमांड का पुनरावृत्ति (iteration), $a^\omega$ $a^{ω}$ , समानांतर संयोजन पर कब वितरित होता है। वे सिद्ध करते हैं कि समानता $a^\omega \sqcap (c_1 \parallel c_2) = (a^\omega \sqcap c_1) \parallel (a^\omega \sqcap c_2)$ $a^{ω} ⊓ (c_{1} ∥ c_{2}) = (a^{ω} ⊓ c_{1}) ∥ (a^{ω} ⊓ c_{2})$ तभी सत्य होती है जब एटोमिक कमांड समानांतर संयोजन के संबंध में इडेम्पोटेंट (idempotent) हो ( $a = a \parallel a$ $a = a ∥ a$ )। यह प्रमाण निम्नलिखित का उपयोग करता है:
- फाइनाइट एप्रोक्सिमेशन (Finite approximations): एक परिमित लंबाई $i$ तक कमांड्स का विश्लेषण करना।
- लिमिट क्लोजर (Limit closure): यह सिद्ध करना कि एटोमिक कमांड्स के अनंत पुनरावृत्ति, उनके परिमित एप्रोक्सिमेशन के इन्फिमम (infimum) के बराबर (limit-closed) होते हैं।
- सुपर-कॉम्पैक्टनेस (Super-compactness): यह मानना कि कमांड्स का लैटिस "सुपर-अल्जेब्रिक" है, जो यह अनुमति देता है कि किसी भी कमांड को सुपर-कॉम्पैक्ट (निश्चित, गैर-एबॉर्टिंग) कमांड्स के चयन में विघटित किया जा सके।
रिलाय/गारंटी के लिए अनुप्रयोग (Application to Rely/Guarantee): अमूर्त परिणामों को एक एज़ेल अल्जेब्रा (Aczel algebra) में स्थापित किया जाता है, जहाँ कमांड्स को प्रोग्राम ट्रांजिशन ( $\pi$ $π$ ) और एनवायरनमेंट ट्रांजिशन ( $\epsilon$ $ϵ$ ) के माध्यम से परिभाषित किया जाता है।
- गारंटी कमांड्स ( $\text{guar}_\pi g$ ) को $(\pi g \lor \epsilon \text{univ})$ के अनंत पुनरावृत्ति के रूप में परिभाषित किया गया है।
- रिलाय कमांड्स ( $\text{rely } r$ ) को $(\pi \text{univ} \lor \epsilon r \lor \epsilon \bar{r}; \top)$ के अनंत पुनरावृत्ति के रूप में परिभाषित किया गया है।
- लेखक इन विशिष्ट कमांड रूपों के लिए स्थिति $a = a \parallel a$ का विश्लेषण करते हैं ताकि वैधता निर्धारित की जा सके।

प्रमुख योगदान और परिणाम

एटोमिक इटरेशंस के लिए सामान्य वितरणात्मक नियम: यह शोध पत्र स्थापित करता है कि एक एटोमिक कमांड $a$ के लिए, वितरण नियम $a^\omega \sqcap (c_1 \parallel c_2) = (a^\omega \sqcap c_1) \parallel (a^\omega \sqcap c_2)$ तभी मान्य है जब $a = a \parallel a$ हो।
गारंटी वितरण की वैधता (Validity of Guarantee Distribution): यह दिखाते हुए कि गारंटी के लिए बेस कमांड, $\pi g \lor \epsilon \text{univ}$ , इडेम्पोटेंसी स्थिति (चूंकि $g \subseteq \text{univ}$ ) को संतुष्ट करता है, लेखक यह समानता सिद्ध करते हैं:
$\text{guar}_\pi g \sqcap (c_1 \parallel c_2) = (\text{guar}_\pi g \sqcap c_1) \parallel (\text{guar}_\pi g \sqcap c_2)$
यह पुष्टि करता है कि गारंटी स्थितियाँ समानांतर संयोजन पर वितरित की जा सकती हैं।
शुद्ध रिलाय वितरण की अमान्यता (Invalidity of Pure Rely Distribution): लेखक प्रदर्शित करते हैं कि रिलाय के लिए बेस कमांड, $\pi \text{univ} \lor \epsilon r \lor \epsilon \bar{r}; \top$ , इडेम्पोटेंसी स्थिति को संतुष्ट नहीं करता है (जब तक कि $r$ यूनिवर्सल न हो)। फलस्वरूप, समानांतर संयोजन पर रिलाय के लिए सामान्य वितरणात्मक नियम लागू नहीं होता है:
$\text{rely } r \sqcap (c_1 \parallel c_2) \neq (\text{rely } r \sqcap c_1) \parallel (\text{rely } r \sqcap c_2)$
इसे इस तथ्य के कारण जिम्मेदार ठहराया गया है कि बाईं ओर का रिलाय पूरे वातावरण से हस्तक्षेप (interference) को मानता है, जबकि दाईं ओर के रिलाय केवल जोड़ी में मौजूद दूसरे थ्रेड से होने वाले हस्तक्षेप को ही ध्यान में रखते हैं।
कंपोजिट डिस्ट्रीब्यूशन (इवॉल्व इनवेरिएंट - Evolve Invariant): शोध पत्र उन कंपोजिट कमांड्स के लिए एक मजबूत समानता व्युत्पन्न करता है जहाँ एक रिलाय और गारंटी को संयोजित किया जाता है, विशेष रूप से "इवॉल्व इनवेरिएंट" कमांड ( $\text{evolve } r \equiv \text{rely } r \sqcap \text{guar}_\pi r$ )। यदि $g \subseteq r$ है, तो निम्नलिखित समानता मान्य होती है:
$\text{rely } r \sqcap \text{guar}_\pi g \sqcap (c_1 \parallel c_2) = (\text{rely } r \sqmp \text{guar}_\pi g \sqcap c_1) \parallel (\text{rely } r \sqcap \text{guar}_\pi g \sqcap c_2)$
यह इसलिए वैध है क्योंकि गारंटी स्थिति समानांतर संयोजन में रिलाय स्थिति के पूरा होने को सुनिश्चित करती है।
स्यूडो-एटोमिक कमांड्स (Pseudo-Atomic Commands): सिद्धांत को स्यूडो-एटोमिक कमांड्स (जो एबॉर्ट हो सकते हैं) को संभालने के लिए विस्तारित किया गया है, यह दिखाते हुए कि एबॉर्टिंग घटकों के संबंध में विशिष्ट शर्तों के तहत समान वितरणात्मक गुण लागू होते हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह विशेष रूप से रिलाय/गारंटी समवर्तीता के लिए तैयार किए गए समानांतर संयोजन के वितरणात्मक नियमों का पहला बीजगणितीय व्युत्पन्न प्रदान करता है। Isabelle/HOL में सिद्धांत को औपचारिक रूप देने के माध्यम से, लेखक यह सुनिश्चित करते हैं कि प्रस्तुत लेम्मा और प्रमाण सही हैं।

इसका महत्व समवर्ती प्रोग्रामों के स्टेपवाइज अल्जेब्रिक डेवलपमेंट (stepwise algebraic development) को सक्षम करने में निहित है। समानांतर संयोजन पर गारंटी स्थितियों को वितरित करने की क्षमता डेवलपर्स को स्थानीय गारंटियों वाले घटकों में विभाजित करके जटिल समवर्ती प्रणालियों के बारे में तर्क करने में सक्षम बनाती है, जिससे सत्यापन सरल हो जाता है। शोध पत्र स्पष्ट रूप से नोट करता है कि जबकि सबसे सामान्य नियम रिफाइनमेंट्स (एक-दिशीय) हैं, कमांड के रूप को प्रतिबंधित करने से (जैसे गारंटी या विशिष्ट रिलाय/गारंटी संयोजनों का उपयोग करना) मजबूत समानता नियम प्राप्त होते हैं। यह कार्य अमूर्त बीजगणितीय संरचनाओं (क्वांटल्स) और व्यावहारिक समवर्ती तर्क (रिलाय/गारंटी) के बीच के अंतर को पाटता है, जो रिलाय/गारंटी तर्क के लिए हेरफेर करने हेतु एक कठोर आधार प्रदान करता है। लेखक यह दावा नहीं करते हैं कि उन्होंने सभी समवर्ती सत्यापन समस्याओं को हल कर दिया है, बल्कि वे रिलाय/गारंटी तर्क के विशिष्ट डोमेन के लिए आवश्यक बीजगणितीय उपकरण प्रदान करते हैं।

शोध पत्र की बड़ी खोज

वे किसे खारिज करते हैं

वे कितने सुनिश्चित हैं?

द "स्यूडो-एटॉमिक" ट्विस्ट (The "Pseudo-Atomic" Twist)

निचोड़ (The Bottom Line)

इसी तरह के और पेपर