প্রশ্ন ট্যাগ «process-algebra»

আপনি পাই-ক্যালকুলাসে নির্ভরযোগ্য সম্প্রচার মডেল করতে পারেন? যদি তাই হয়, কিভাবে? যদি তা না হয়: এমন কোনও প্রক্রিয়া বীজগণিত রয়েছে যেখানে আপনি পারেন? আমি যা চেষ্টা করেছি: প্রেরক যদি কে একটি বার্তা পাঠাতে চায় সব থেকে করার , আপনি লিখতে পারে ! ( এবং করার । তবে আপনি কীভাবে গ্যারান্টি …

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

রবিন মিলনার বিগ্রাফগুলি গ্রাফিকের মতো কাঠামোর সাথে গ্রাফিকাল কাঠামোর এক ধরণের হিসাবে সংজ্ঞায়িত করেছেন তবে যেখানে নোডগুলি আটকানো যেতে পারে। তারা সিসিএস এবং ক্যালকুলাসের মতো প্রক্রিয়া ক্যালকুলিকে সাধারণীকরণ করে তবে মিলনার মনে হয় তাদের আরও সাধারণভাবে ব্যবহার করা উচিত ছিল: তার মৃত্যুর বিস্তারিত সাম্প্রতিক ঘটনাবলির অল্প আগেই সেমিনারে নোট দেওয়া …

14 process-algebra  ho.history-overview 

আমার পটভূমি জটিলতা তত্ত্ব / যুক্তিযুক্ত (যেখানে বেশিরভাগ সময় কেবল একটি প্রক্রিয়া থাকে), এবং বিতরণ করা কম্পিউটিংয়ে (যেখানে প্রক্রিয়া রয়েছে এবং এক বা একাধিক সময়ের সাথে ব্যর্থ হতে পারে) is তবে আমি এখন অন্য প্রক্রিয়াটি তৈরি / তৈরি / ঘুরানোর প্রক্রিয়া সম্পর্কে কিছু বলতে চাই। সমান্তরাল কম্পিউটিং, অপারেটিং সিস্টেম, ইত্যাদির …

13 dc.parallel-comp  process-algebra 

কিছু সময়ের জন্য, আমি প্রোগ্রামিং ভাষার তত্ত্ব এবং প্রক্রিয়া ক্যালকুলিতে খুব আগ্রহী হয়েছি এবং সেগুলি অধ্যয়ন করতে শুরু করেছি। সত্যি কথা বলতে কি, এটি এমন একটি বিষয় যা আমি ক্যারিয়ারের দিকে যেতে পছন্দ করি না। আমি তত্ত্বটি অবিশ্বাস্যভাবে আকর্ষণীয় বলে মনে করি। একটি নিয়ত প্রশ্ন যা আমি চালিয়ে যাচ্ছি তা …

10 pl.programming-languages  process-algebra