کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657431 | 1441793 | 2005 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A calculus for concurrent system with higher-order streaming communication
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A calculus for concurrent system with higher-order streaming communication A calculus for concurrent system with higher-order streaming communication](/preview/png/9657431.png)
چکیده انگلیسی
This paper presents a formal model of concurrent system that is equipped with capabilities of sending and receiving higher-order terms. That is a modification of the asynchronous higher-order Ï-calculus. A new operation, input streaming, is introduced. An input process consists of an input stream and a process P. It can receive a higher-order term t during the execution of P. Input prefix and output process are also modified to represent non-atomic communication. The calculus models computations transferring mobile codes and links on a wide-area network in an asynchronous manner. A labeled transition system (lts) is presented for the operational semantics. Equivalence relations based on the lts are introduced. The equivalences are based on the idea of barbed bisimulation that is suitable for non-atomic/asynchronous communicating systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 57, Issue 1, July 2005, Pages 61-72
Journal: Science of Computer Programming - Volume 57, Issue 1, July 2005, Pages 61-72
نویسندگان
Masaki Murakami,