A theory of retractable and speculative contracts

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