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

আমার জ্ঞানের মতে, তিনটি প্রধান প্রক্রিয়া বীজগণিত রয়েছে যা একযোগের আনুষ্ঠানিক মডেলগুলিতে এক বিস্তৃত গবেষণাকে অনুপ্রাণিত করে। এইগুলো: সিসিএস এবং ক্যালকুলাস উভয়ই রবিন মিলনার byππ\pi টনি হোয়ের সিএসপি এবং জন বার্গস্ট্রা এবং জ্যান উইলেম ক্লোপের এসিপি তিনটিই আজকের দিনে মনে হয় তাদের পক্ষে বেশ সক্রিয় অনুসরণ এবং বিপুল পরিমাণে গবেষণা …

21 logic  concurrency  process-algebras 

একটি প্রদত্ত লেবেল পরিবর্তনকে সিস্টেম , যেখানে রাজ্যের একটি সেট করা হয়, লেবেল একটি সেট, এবং একটি তিন সম্পর্ক নেই। স্বাভাবিক হিসাবে, লেখ জন্য । লেবেল করা রূপান্তরটি দ্বারা বোঝানো হয় যে রাজ্যের সিস্টেম রাজ্যের পরিবর্তন ট্যাগ , যার মানে হল কিছু পর্যবেক্ষণযোগ্য কর্ম যে রাষ্ট্র পরিবর্তন ঘটে।এস Λ → …

20 programming-languages  formal-methods  semantics  process-algebras 

একটি পানীয় বিতরণের জন্য ব্যবহারকারীকে একটি কয়েন ( ) toোকানো প্রয়োজন , তারপরে তিনটি বোতামের মধ্যে একটি টিপুন: এক কাপ চা চাওয়ার জন্য , কফির জন্য ডাইটো , এবং একটি অর্থ ফেরতের অনুরোধ করে (অর্থাত্ যন্ত্রটি মুদ্রাটি ফিরিয়ে দেয়: )। এই সরবরাহকারী নিম্নলিখিত সিসিএস প্রক্রিয়া দ্বারা মডেল করা যেতে পারে …

11 logic  concurrency  modelling  process-algebras  ccs