💻 computer science

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

यह शोध पत्र मिलनर के चार्ट्स और स्ट्रिंग डायग्राम्स का उपयोग करते हुए, गैर-नियत प्रक्रियाओं (nondeterministic processes) के लिए व्यवहारिक दूरी (behavioural distance) का एक सुदृढ़ और पूर्ण आरेखीय स्वयंसिद्धीकरण (diagrammatic axiomatisation) प्रस्तुत करता है, जो एक परिवर्तन-मुक्त (variable-free), संयोजनपरक (compositional) ढांचा प्रदान करता है जो भाषा तुल्यता (language equivalence) से ध्यान हटाकर बिसिमिलरिटी (bisimilarity) पर केंद्रित करता है।

मूल लेखक: Wojciech Różowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

प्रकाशित 2026-05-01

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

CC BY 4.0

मूल लेखक: Wojciech Różowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

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

मुख्य चित्र: दो मशीनें एक-दूसरे से कितनी "अलग" हैं

कल्पना कीजिए कि आपके पास दो रोबोट हैं। कंप्यूटर विज्ञान के पुराने दिनों में, हम केवल एक सरल प्रश्न पूछते थे: "क्या ये दोनों रोबोट बिल्कुल एक जैसे हैं?" यदि वे थे, तो बहुत अच्छा। यदि नहीं, तो उन्हें पूरी तरह से अलग माना जाता था। यह एक "हाँ या ना" वाला उत्तर था।

लेकिन वास्तविक दुनिया में, चीजें शायद ही कभी एकदम सटीक होती हैं। हो सकता है कि रोबोट A बाईं ओर मुड़ने के लिए एक अतिरिक्त कदम ले, या रोबोट B बोलने से पहले एक सेकंड के छोटे से हिस्से के लिए रुक जाए। वे बिल्कुल एक जैसे नहीं हैं, लेकिन वे पूरी तरह से अलग भी नहीं हैं। वे करीब हैं।

यह पेपर एक तरीका पेश करता है जिससे आप दो जटिल, अप्रत्याशित कंप्यूटर प्रक्रियाओं के बीच की दूरी को माप सकें। एक साधारण "समान/अलग" वाले स्विच के बजाय, लेखक एक पैमाना (रूलर) बनाते हैं जो उनके बीच की "दूरी" को मापता है।

समस्या: "अपनी पसंद का रोमांच चुनें" (Choose Your Own Adventure) वाली किताब

लेखक जिस विशिष्ट प्रकार की कंप्यूटर प्रक्रिया का अध्ययन कर रहे हैं, उसे नॉनडिटरमिनिस्टिक प्रोसेस (Nondeterministic Process) कहा जाता है। इसे एक ऐसी "अपनी पसंद का रोमांच चुनें" वाली किताब की तरह समझें जहाँ कहानी एक साथ कई दिशाओं में बढ़ सकती है।

डिटरमिनिस्टिक (Deterministic): आप एक पन्ना पढ़ते हैं, और अगला पन्ना केवल एक ही होता है।
नॉनडिटरमिनिस्टिक (Nondeterministic): आप एक पन्ना पढ़ते हैं, और वहां तीन संभावित अगले पन्ने होते हैं, और कहानी इनमें से किसी भी दिशा में जा सकती है।

जब आपके पास ऐसी दो शाखाओं वाली कहानियों वाली किताबें हों, तो उनकी तुलना करना कठिन होता है। यदि दोनों में एक ही समय पर एक "डेड एंड" (ऐसी जगह जहाँ कहानी रुक जाती है) आता है, तो वे एक-दूसरे से कितनी दूर हैं?

समाधान: स्ट्रिंग डायग्राम (स्ट्रिंग डायग्राम - "फ्लोचार्ट" की भाषा)

इस समस्या को हल करने के लिए, लेखक स्ट्रिंग डायग्राम (String Diagrams) नामक एक विशेष भाषा का उपयोग करते हैं।

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

लेखक तर्क देते हैं कि इन डायग्राम्स को बनाना, जटिल समीकरण लिखने की तुलना में बहुत आसान और सहज है, खासकर जब आप उनके बारे में कुछ सिद्ध करना चाहते हैं।

मुख्य नवाचार: "दूरी का पैमाना" (The Distance Ruler)

पेपर की मुख्य उपलब्धि नियमों (axioms) का एक सेट बनाना है जो आपको कंप्यूटर को वास्तव में चलाए बिना डायग्राम के बीच की दूरी की गणना करने की अनुमति देता है।

इसे अंतर मापने की एक गणितीय रेसिपी की तरह समझें:

शून्य बिंदु (The Zero Point): यदि दो डायग्राम समान हैं (या बिल्कुल एक जैसा व्यवहार करते हैं), तो उनकी दूरी 0 है।
अधिकतम बिंदु (The Max Point): यदि वे पूरी तरह से असंबंधित हैं, तो दूरी 1 है।
आधा करने का नियम (The Halving Rule): यह सबसे चतुर हिस्सा है। यदि दो प्रक्रियाएं अलग हैं, लेकिन आप दोनों में एक और "कदम" (जैसे एक बटन दबाना) जोड़कर उन्हें एक जैसा बना सकते हैं, तो उनके बीच की दूरी अगले चरण की दूरी की आधी होगी।
- उपमा: दो धावकों की कल्पना करें। यदि वे वर्तमान में एक ही स्थान पर हैं, तो दूरी 0 है। यदि एक व्यक्ति एक कदम आगे है, तो वे "करीब" हैं। यदि एक व्यक्ति दो कदम आगे है, तो वे "कम करीब" हैं। पेपर में दिया गया गणित कहता है: हर बार जब आप प्रक्रिया की शुरुआत में एक कदम जोड़ते हैं, तो दोनों प्रक्रियाओं के बीच की "दूरी" आधी हो जाती है।

उन्होंने इसे कैसे सिद्ध किया कि यह काम करता है

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने दो महत्वपूर्ण चीजें सिद्ध कीं:

सत्यता (Soundness - नियम झूठ नहीं बोलते): यदि उनके नियम कहते हैं कि दो डायग्राम "दूरी 0.25" दूर हैं, तो वे वास्तव में 0.25 ही हैं। गणित सही रहता है।
पूर्णता (Completeness - नियम सब कुछ पकड़ लेते हैं): यदि दो डायग्राम वास्तव में 0.25 की दूरी पर हैं, तो नियम उस संख्या को ढूंढ सकते हैं। कोई भी छिपी हुई दूरी जिसे नियम मिस कर दें, ऐसी कोई नहीं है।

उन्होंने यह सिद्ध करने के लिए कि कोई भी जटिल डायग्राम एक मानक "नॉर्मल फॉर्म" (जैसे भिन्न/फ्रैक्शन को सरल बनाना) में तोड़ा जा सकता है, एक गणितीय तकनीक का उपयोग किया जिसे फिक्स्पॉइंट्स (fixpoints) (एक गणना को तब तक दोहराना जब तक कि वह बदलना बंद न कर दे) कहा जाता है। एक बार सरल होने के बाद, वे सटीक दूरी मापने के लिए इसका उपयोग कर सकते हैं।

"अनफोल्डिंग" (Unfolding) की ट्रिक

पेपर के प्रमुख रूपकों में से एक अनफोल्डिंग (Unfolding) है।
ऊन के एक उलझे हुए गोले (एक जटिल प्रक्रिया जिसमें लूप हैं) की कल्पना करें। लेखक दिखाते हैं कि आप इस गोले को एक लंबी, सीधी रेखा (एक ट्री स्ट्रक्चर) में "अनफोल्ड" कर सकते हैं।

अनफोल्ड होने के बाद, आप देख सकते हैं कि दोनों प्रक्रियाएं कहाँ अलग होती हैं।
यदि वे 2 चरणों के बाद अलग होती हैं, तो दूरी $1/4$ है (क्योंकि $1/2 \times 1/2$ )।
यदि वे 3 चरणों के बाद अलग होती हैं, तो दूरी $1/8$ है।

पेपर यह सिद्ध करता है कि आप इस "अनफोल्डिंग" और मापन को स्ट्रिंग डायग्राम की दृश्य भाषा के भीतर ही कर सकते हैं, बिना इसे पहले अव्यवस्थित टेक्स्ट कोड में बदलने की आवश्यकता के।

सारांश

संक्षेप में, यह पेपर कंप्यूटर वैज्ञानिकों को एक दृश्य टूलकिट (visual toolkit) देता है जिससे वे दो अप्रत्याशित कंप्यूटर प्रोग्राम कितने समान या अलग हैं, इसे माप सकें।

पुराना तरीका: "क्या वे एक जैसे हैं? हाँ/नहीं।"
नया तरीका: "वे कितनी दूर हैं? यहाँ एक पैमाना है, और यहाँ उन नियमों का सेट है जिनसे आप चित्रों का उपयोग करके अंतर को माप सकते हैं।"

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

यहाँ शोध पत्र "A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes" (Różowski, Piedeleu, Silva, और Zanasi द्वारा) का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र नॉन-डिटरमिनिस्टिक प्रक्रियाओं (nondeterministic processes) के व्यवहारों की मात्रात्मक तुलना करने की चुनौती को संबोधित करता है।

संदर्भ: पारंपरिक प्रोसेस अलजेब्रा और ऑटोमेटा थ्योरी 'बुलियन तुल्यता' (Boolean equivalence) जैसे धारणाओं पर निर्भर करते हैं (जैसे, बिसिमिलैरिटी, लैंग्वेज इक्विलेंस)। हालांकि ये उपयोगी हैं, लेकिन ये अक्सर आधुनिक प्रणालियों के लिए बहुत कठोर होते हैं जिनमें संभावabilistic या मात्रात्मक पहलू शामिल होते हैं, जहाँ हमें यह मापने की आवश्यकता होती है कि दो व्यवहार एक-दूसरे से कितने दूर हैं, न कि केवल यह कि वे समान हैं या नहीं।
विशिष्ट अंतराल (Specific Gap): जबकि प्रोबेबिलिस्टिक सिस्टम और डिटर्मिनिस्टिक ऑटोमेटा (DFA) के लिए व्यवहारिक दूरियों (behavioral distances) का अध्ययन किया गया है, नॉन-डिटरमिनिस्टिक प्रक्रियाओं (विशेष रूप से मिलनर के चार्ट्स) के लिए एक सुदृढ़ और पूर्ण स्वयंसिद्ध ढांचे (sound and complete axiomatic framework) की कमी है।
चुनौती: नॉन-डिटरमिनिज्म (Nondeterminism) व्यवहारिक फोकस को भाषा तुल्यता (language equivalence) से बदलकर बिसिमिलैरिटी (bisimilarity) पर ले आता है। मौजूदा बीजगणितीय सिंटैक्स (जैसे बाइंडर्स के साथ रेगुलर एक्सप्रेशंस) जटिल प्रतिस्थापन तंत्र (substitution mechanisms) के बिना इन व्यवहारों को कैप्चर करने में संघर्ष करते हैं। इसके अलावा, नॉन-डetermined सिस्टम में मात्रात्मक तर्क (quantitative reasoning) का विस्तार करने के लिए "हाउस्डॉर्फ लिफ्टिंग" (Hausdorff lifting) को संभालना आवश्यक है, जो तकनीकी रूप से कठिन है।

2. कार्यप्रणाली (Methodology)

लेखक प्रक्रिया व्यवहारों का प्रतिनिधित्व करने और उनके बारे में तर्क करने के लिए स्ट्रिंग डायग्राम (string diagrams) (सिमेट्रिक मोनॉइडल कैटेगरी का ग्राफिकल लैंग्वेज) का उपयोग करते हुए एक डायग्रामेटिक दृष्टिकोण अपनाते हैं।

सिमेंटिक मॉडल (चार्ट्स): शोध पत्र मिलनर के चार्ट्स (Milner's charts) पर ध्यान केंद्रित करता है, जो वेरिएबल आउटपुट्स के साथ फाइनाइट-स्टेट नॉन-डिटरमिनिस्टिक ऑटोमेटा (NFA) का सामान्यीकरण करते हैं। इनका सिमेंटिक्स रेगुलर व्यवहारों ( $\Omega$ ) की एक श्रेणी (category) पर परिभाषित है, जो एक स्यूडोमेट्रिक संरचना (pseudometric structure) से सुसज्जित है।
मेट्रिक परिभाषा: व्यवहारिक दूरी को एक को-अल्जेब्रिक फ्रेमवर्क (coalgebraic framework) के माध्यम से परिभाषित किया गया है। यह निम्नलिखित का उपयोग करता है:
1. ट्रांजिशन लिफ्टिंग (Transition Lifting): अवस्थाओं (states) पर एक मेट्रिक को ट्रांजिशन (लेबल वाले किनारे और वेरिएबल आउटपुट) पर लिफ्ट करना।
2. हाउस्डॉर्फ लिफ्टिंग (Hausdorff Lifting): ट्रांजिशन के सेट पर मेट्रिक को लिफ्ट करना (नॉन-डिटरमिनिज्म को संभालने के लिए)।
3. फिक्स्पॉइंट कैरेक्टराइजेशन (Fixpoint Characterization): दूरी, प्यूडोमेट्रिक्स के लैटिस पर एक मोनोटोन ऑपरेटर का न्यूनतम फिक्स्पॉइंट (least fixpoint) है। इसे बिसिमिलैरिटी के स्तरीकरण (stratification of bisimilarity) (हेननेस-मिलनर लॉजिक) द्वारा ठोस रूप से वर्णित किया गया है, जहाँ दूरी $2^{-n}$ होती है यदि दो प्रक्रियाएं गहराई $n$ तक बिसिमिलर हैं लेकिन $n+1$ तक नहीं।
सिंटैक्स (स्ट्रिंग डायग्राम): लेखक सिंटैक्स के रूप में स्ट्रिंग डायग्राम का उपयोग करते हैं। यह विकल्प निम्नलिखित प्रदान करता है:
- वेरिएबल-मुक्त प्रतिनिधित्व (Variable-free representation): रिकर्सन को स्पष्ट बाइंडर्स और प्रतिस्थापन के बजाय फीडबैक लूप्स (traces) के माध्यम से संभाला जाता है।
- कंपोजिशनल सिमेंटिक्स (Compositional Semantics): डायग्राम स्वाभाविक रूप से रेगुलर व्यवहारों के कैटेगोरिकल स्ट्रक्चर के साथ मैप होते हैं।
- Int निर्माण (Int construction): द्विदिश डेटा प्रवाह (इनपुट/आउटपुट) और फीडबैक लूप्स को संभालने के लिए, लेखक Int निर्माण का उपयोग करते हैं ताकि व्यवहारों की ट्रेस्ड मोनॉइडल कैटेगरी को एक कॉम्पैक्ट क्लोज्ड कैटेगरी में बदला जा सके, जिससे लोकल वायर बेंडिंग संभव हो सके।

3. मुख्य योगदान (Key Contributions)

A. एक मात्रात्मक अनुमान प्रणाली (A Quantitative Inference System)

शोध पत्र एक मात्रात्मक समीकरण नियमों (quantitative equational rules) का प्रस्ताव करता है जो व्यवहारिक दूरियों ( $s \equiv_\epsilon t$ ) के अनुमान प्राप्त करता है।

मानक मेट्रिक नियम: रिफ्लेक्सिविटी (Reflexivity), सिमेट्री (Symmetry), ट्राएंगल इनइक्वेलिटी (Triangle Inequality), और एक "कंटिन्युटी" नियम (यदि सभी $\epsilon' > \epsilon$ के लिए $s \equiv_{\epsilon'} t$ है, तो $s \equiv_\epsilon t$ )।
कंपोजिशनल नियम: अनुक्रमिक संयोजन (sequential composition) और समानांतर संयोजन (parallel composition/tensor) के लिए नियम जो नॉन-एक्सपेंसिवनेस (non-expansiveness) को बनाए रखते हैं।
डोमेन-विशिष्ट नियम:
- (Pref): एक एक्शन $a$ के साथ प्रीफिक्सिंग करने पर दूरी आधी हो जाती है ( $d(a.s, a.t) = \frac{1}{2}d(s, t)$ )। यह इस अंतर्ज्ञान को दर्शाता है कि दो प्रक्रियाओं के बीच अंतर करने के लिए एक और कदम की आवश्यकता होती है।
- (Codel): बिना प्रारंभिक अवस्था वाला डायग्राम (डेडलॉक) खाली चार्ट से 0 की दूरी पर होता है।
- इक्वेशनल एक्सिओम्स (Equational Axioms): स्ट्रॉन्ग बिसिमिलैरिटी (दूरी 0) को कैप्चर करने वाले एक्सिओम्स (A1-B11) का एक सेट, जिसमें नॉन-डिटरमिनिस्टिक चॉइस, वेरिएबल मर्जिंग और रिकर्सन (कॉनवे थ्योरी एक्सिओम्स) के नियम शामिल हैं।

B. साउंडनेस और पूर्णता (Soundness and Completeness)

मुख्य तकनीकी उपलब्धि यह प्रमाण है कि अनुमान प्रणाली सुदृढ़ (sound) और पूर्ण (complete) दोनों है।

साउंडनेस (Theorem 16): प्रत्येक व्युत्पन्न मात्रात्मक समीकरण $f \equiv_\epsilon g$ वैध है (अर्थात, वास्तविक व्यवहारिक दूरी $d(\llbracket f \rrbracket, \llbracket g \rrbracket) \leq \epsilon$ है)।
पूर्णता (Theorem 31): यदि दो डायग्राम के बीच व्यवहारिक दूरी $\leq \epsilon$ $\leq ϵ$ है, तो समीकरण $f \equiv_\epsilon g$ $f \equiv_{ϵ} g$ प्रस्तावित नियमों का उपयोग करके व्युत्पन्न किया जा सकता है।
- प्रमाण रणनीति: पूर्णता प्रमाण में किसी भी डायग्राम को एक नॉर्मल फॉर्म (जो एक परिमित प्री-चार्ट का प्रतिनिधित्व करता है) में बदलना शामिल है। इसके बाद, यह प्रस्तावित अनुमान नियमों का उपयोग करके सिंटैक्टिक रूप से हाउस्डॉर्फ लिफ्टिंग और फिक्स्पॉइंट इटरेशन (क्लीन थ्योरम) का अनुकरण करता है। कंटिन्युटी (Cont) नियम सिंटैक्टिक सन्निकटन (approximation) और सटीक सीमा (limit) के बीच के अंतर को पाटने के लिए महत्वपूर्ण है।
कैटेगोरिकल स्ट्रक्चर: शोध पत्र स्थापित करता है कि रेगुलर व्यवहारों की श्रेणी ( $\text{RegBeh}$ ) एक कॉनवे थ्योरी (Conway Theory) (एक विशिष्ट प्रकार की ट्रेस्ड मोनॉइडल कैटेगरी) है और इसका प्यूडोमेट्रिक स्ट्रक्चर इसे प्यूडोमेट्रिक स्पेस ( $\text{PMet}$ ) की श्रेणी पर एक एनरिच्ड कैटेगरी (enriched category) बनाता है। यह सुनिश्चित करता है कि सभी कैटेगोरिकल ऑपरेशन्स (कंपोजिशन, टेंसर, ट्रेस/डैगर) नॉन-एक्सपेंसिव हैं।

4. परिणाम (Results)

औपचारिक लक्षण वर्णन (Formal Characterization): शोध पत्र मिलनर के चार्ट्स (आउटपुट्स के साथ नॉन-डिटरमिनिस्टिक प्रक्रियाएं) के लिए व्यवहारिक दूरी का पहला पूर्ण स्वयंसिद्ध (axiomatization) प्रदान करता है।
मेट्रिक्स का सिंटैक्टिक सिमुलेशन: लेखक दिखाते हैं कि जटिल मेट्रिक गणनाओं, जैसे कि ट्रांजिशन के सेट्स के बीच हाउस्डॉर्फ दूरी, को शुद्ध रूप से स्ट्रिंग डायग्राम के सिंटैक्टिक हेरफेर के माध्यम से सिम्युलेट किया जा सकता है।
उदाहरण अनुप्रयोग: शोध पत्र एक विस्तृत व्युत्पत्ति (derivation) शामिल करता है जो यह सिद्ध करती है कि दो विशिष्ट चार्ट्स (एक जो दो 'a' के बाद डेडलॉक होता है, दूसरा जो अनंत 'a' के साथ होता है) के बीच की दूरी ठीक $1/4$ है। यह रिकर्सन को अनरोल करके और (Pref) नियम को दो बार लागू करके प्राप्त किया जाता है।

5. महत्व (Significance)

सिद्धांत और अभ्यास को जोड़ना: बुलियन तुल्यता से मात्रात्मक दूरी की ओर बढ़कर, यह कार्य उन प्रणालियों के विश्लेषण को सक्षम बनाता है जहाँ "लगभग समान" (almost equivalent) एक सार्थक अवधारणा है (जैसे, अनुमानित प्रणालियों या संभावabilistic प्रणालियों के सत्यापन में)।
एकीकृत डायग्रामेटिक फ्रेमवर्क: स्ट्रिंग डायग्राम का उपयोग पारंपरिक प्रोसेस अलजेब्रा में पाए जाने वाले वेरिएबल बाइंडिंग और प्रतिस्थापन की जटिलता से बचता है। यह विभिन्न कम्प्यूटेशनल मॉडलों (डिटरमिनिस्टिक, नॉन-डिटरमिनिस्टिक, प्रोबेबिलिस्टिक, वेटेड) में तुल्यता और दूरियों को स्वयंसिद्ध करने के लिए एक एकीकृत ढांचे की ओर संकेत करता है।
भविष्य के कार्य के लिए आधार: यह शोध पत्र वेटेड ट्रांजिशन सिस्टम (weighted transition systems) और प्रोबेबिलिस्टिक ऑटोमेटा तक इन परिणामों को विस्तारित करने के लिए आधार तैयार करता है, जहाँ व्यवहारिक दूरियां और भी अधिक महत्वपूर्ण हैं। यह डिकंपाइलेशन एल्गोरिदम और गार्डेड क्लेने अलजेब्रा विद टेस्ट्स (GKAT) के बारे में तर्क करने के लिए संभावित अनुप्रयोगों का भी सुझाव देता है।
सैद्धांतिक प्रगति: यह जोड़ता है कि कैसे को-अल्जेब्रिक व्यवहारिक मेट्रिक्स, मात्रात्मक समीकरण तर्क (quantitative equational logic), और डायग्रामेटिक अलजेब्रा को एकीकृत करके प्रोसेस थ्योरी की दीर्घकालिक समस्याओं को हल किया जा सकता है।

संक्षेप में, यह शोध पत्र सफलतापूर्वक नॉन-डिटरमिनिस्टिक प्रक्रियाओं के लिए व्यवहारिक दूरी के अमूर्त, को-अल्जेब्रिक परिभाषा को एक ठोस, डायग्रामेटिक और पूर्णतः स्वयंसिद्ध कैलकुलस में अनुवादित करता है, यह सिद्ध करते हुए कि प्रक्रिया व्यवहार के बारे में मात्रात्मक तर्क को स्ट्रिंग डायग्राम के सिंटैक्टिक हेरफेर के माध्यम से पूरी तरह से किया जा सकता है।