بررسی مفاهیم سرزندگی و انصاف برای اتومات محدودیت و نتایج آن

سال انتشار: 1386
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,601

متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ACCSI13_064

تاریخ نمایه سازی: 25 آبان 1386

چکیده مقاله:

در این مقاله مفاهیم انصاف ضعیف و قوی برای مدل اتومات محدودیت ارائه میشوند و مفاهیم اتومات محدودیت ایمن , منصف و سرزنده معرفی میشوند. ثابت میشود یک اتومات محدودیت منصف همراه با مجموعه اجراهای منصفانه آن, یک اتومات محدودیت سرزنده را تشکیل میدهد. سپس عملیات ضرب اتومات محدودیت منصف و سرزنده تعریف شده و ثابت میشود عملیات ضرب تعریف شده نسبت به اتومات بسته است. و در نهایت سازگاری اتومات محدودیت منصف با ضرب سرزنده نشان داده میشود.

کلیدواژه ها:

اتومات محدودیت ، ایمنی ، سرزندگی ، انصاف قوی : انصاف ضعیف

نویسندگان

سارا نویدپور

کارشناس ارشد علم کامپیوتر، دانشگاه صنعتی شریف، تهران، ایران

محمد ایزدی

مربی پژوهش و دانشجوی دکترا، دانشگاه صنعتی شریف، تهران، ایران

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Baier Christel:; Sirjani Marjan; Arbab Farhad; Rutten Jan; [1] Modeling ...
  • Lynch N.A.; Tuttle M.R.; Hierarchical cOrrectness proofs [3] for distributed ...
  • Coordination models ...
  • Formal verification ...
  • Concurrent Systems _ Data constraint ; Name-set ^ Guard ...
  • نمایش کامل مراجع