کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10333440 688823 2016 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Contracts as games on event structures
ترجمه فارسی عنوان
قراردادها به عنوان بازی در ساختار رویداد
کلمات کلیدی
قراردادها، ساختارهای رویداد، انطباق، انواع جلسات،
ترجمه چکیده
یک مفهوم حیاتی در این زمینه این است که توافق: یک شرکت کننده در صورت موافقت در مجموعه ای از قراردادها اگر او استراتژی برای رسیدن به اهداف خود را در تمام نمایش ها مطابق استراتژی خود (و یا برای ایجاد یک شرکت کننده دیگر تحریم شده برای عدم تعهد) . یکی دیگر از مفهوم مربوط به حفاظت است: یک شرکت کننده تحت قرارداد او محافظت می شود زمانی که او استراتژی برای جلوگیری از از دست دادن در هر زمینه، حتی در آنهایی که او به توافق نرسیده است. ما شرایط برای به دست آوردن توافق و حفاظت را مطالعه می کنیم، و ما نشان می دهیم که این ویژگی ها به طور متقابل در یک طبقه خاص قراردادها به یکدیگر متقابل ندارند. ما سپس مفهوم توافق در قراردادها را با پیروی از انواع جلسات مرتبط می کنیم. به طور خاص، ما نشان می دهیم که انطباق با این واقعیت است که استراتژی های مشتاق به توافق برسند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
A crucial notion arising in this setting is that of agreement: a participant agrees on a set of contracts if she has a strategy to reach her goals in all the plays conforming to her strategy (or to make another participant sanctionable for not honouring an obligation). Another relevant notion is protection: a participant is protected by her contract when she has a strategy to avoid losing in any contexts, even in those where she has not reached an agreement. We study conditions for obtaining agreement and protection, and we show that these properties mutually exclude each other in a certain class of contracts. We then relate the notion of agreement in contracts with that of compliance in session types. In particular, we show that compliance corresponds to the fact that eager strategies lead to agreement.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 3, April 2016, Pages 399-424
نویسندگان
, , , ,