کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657260 | 1441303 | 2005 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Analysing input/output-capabilities of mobile processes with a generic type system
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Analysing input/output-capabilities of mobile processes with a generic type system Analysing input/output-capabilities of mobile processes with a generic type system](/preview/png/9657260.png)
چکیده انگلیسی
We introduce a generic type system for the synchronous polyadic Ï-calculus, allowing us to mechanise the analysis of input/output capabilities of mobile processes. The parameter of the generic type system is a lattice-ordered monoid, the elements of which are used to describe the capabilities of channels with respect to their input/output capabilities. The type system can be instantiated in order to check process properties such as upper and lower bounds on the number of processes concurrently using a channel, confluence and absence of blocked processes.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 63, Issue 1, April 2005, Pages 35-58
Journal: The Journal of Logic and Algebraic Programming - Volume 63, Issue 1, April 2005, Pages 35-58
نویسندگان
Barbara König,