کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4952392 | 1364445 | 2016 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Structural operational semantics for non-deterministic processes with quantitative aspects
ترجمه فارسی عنوان
معانی عملیاتی ساختاری برای فرایندهای غیر قطعی با جنبه های کمی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
فرمت های قانون سازگاری رفتاری، مدل های کمی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The second contribution is a characterization of these systems as coalgebras of a class of functors, parametric in the weight structure. This result allows us to prove soundness and completeness of the WF-GSOS specification format, and that bisimilarities induced by these specifications are always congruences.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 655, Part B, 6 December 2016, Pages 135-154
Journal: Theoretical Computer Science - Volume 655, Part B, 6 December 2016, Pages 135-154
نویسندگان
Marino Miculan, Marco Peressotti,