کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333726 | 689170 | 2016 | 16 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Concurrent Kleene algebra with tests and branching automata
ترجمه فارسی عنوان
جبر کلاینز همزمان با اتوماتای تست و انشعاب
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
To express basic concurrent algorithms, we define concurrent deterministic flowchart schemas and relate them to branching automata and to concurrent Kleene algebras with tests.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 637-652
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 637-652
نویسندگان
Peter Jipsen, M. Andrew Moshier,