کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875320 1441633 2016 27 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Parameterized, concurrent session types for asynchronous multi-actor interactions
ترجمه فارسی عنوان
انواع جلسات پارامتریک شده، همزمان برای چندتایی همزمان چندگانه
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful for some classes of protocols, it does not cope well with parameterized, multi-actor scenarios with inherent asynchrony. For example, the sliding window protocol is not expressible in previously proposed session type notations. This article defines System-A: a novel session type system, as well the associated programming language that together overcome many of the limitations of prior work. With explicit support for asynchrony and concurrency, as well as multiple forms of parameterization, we demonstrate that System-A can be used for the static verification of a large class of asynchronous communication protocols.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volumes 115–116, 1 January–1 February 2016, Pages 100-126
نویسندگان
, , ,