کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10333736 689175 2015 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Lightening global types
ترجمه فارسی عنوان
سبک های جهانی روشن
کلمات کلیدی
برنامه نویسی مرکزی ارتباطات، انواع جلسات، انواع جهانی،
ترجمه چکیده
انواع جلسات جهانی باعث جلوگیری از مشارکتکنندگان در انتظار پیام های ناخواسته می شوند. برخی از تعاملات فقط به منظور اطلاع دادن گیرندگان است که برخی از پیام ها هرگز وارد نشود یا جلسه خاتمه یابد. با تجزیه یک نوع جهانی بزرگ به چندین نوع جهانی نور، می توان از چنین تعاملات اضافی جلوگیری کرد. این کار چارچوبی را پیشنهاد می دهد که به راحتی می تواند انواع جهانی را به انواع جهانی نور تجزیه کند و توالی های متقابل آن ها را حفظ کند، اما برای تعاملات بیش از حد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated. By decomposing a big global type into several light global types, one can avoid such kind of redundant interactions. This work proposes a framework which allows to easily decompose global types into light global types, preserving the interaction sequences of the original ones but for redundant interactions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 708-729
نویسندگان
,