کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333735 | 689175 | 2015 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Reversible session-based pi-calculus
ترجمه فارسی عنوان
پی-محاسبات مبتنی بر جلسه برگشت پذیر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits to take different computation paths along the same session, as well as to revert the whole session and start a new one. Our aim is to define a theoretical basis for examining the interplay in concurrent systems between reversible computation and session-based interaction. We thus propose ReSÏ a session-based variant of Ï-calculus using memory devices to keep track of the computation history of sessions in order to reverse it. We show how a session type discipline of Ï-calculus is extended to ReSÏ, and illustrate its practical advantages for static verification of safe composition in communication-centric distributed software performing reversible computations. We also show how a fully reversible characterisation of the calculus extends to committable sessions, where computation can go forward and backward until the session is committed by means of a specific irreversible action.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 684-707
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 684-707
نویسندگان
Francesco Tiezzi, Nobuko Yoshida,