کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435549 | 689914 | 2016 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A complete axiom system for propositional projection temporal logic with cylinder computation model
ترجمه فارسی عنوان
یک سیستم عاملی کامل برای منطق زمانی گزاره ای با مدل محاسبات سیلندر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
To specify and verify multi-core parallel programs in a uniform framework, this paper proposes an axiom system for CCM–PPTL which extends that of PPTL by including transformation rules for sequence expressions and axioms as well as inference rules on the CCM construct. Further, the soundness and completeness of the extended axiom system are proved.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 609, Part 3, 4 January 2016, Pages 639–657
Journal: Theoretical Computer Science - Volume 609, Part 3, 4 January 2016, Pages 639–657
نویسندگان
Nan Zhang, Zhenhua Duan, Cong Tian,