کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
430000 | 687766 | 2015 | 10 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Relational presheaves, change of base and weak simulation
ترجمه فارسی عنوان
مقادیر پیش بینانه، تغییر شبیه سازی پایه و ضعیف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
برچسب های انتقال سیستم، شبیه سازی، شبیه سازی ضعیف، پیش زمینه ارتباطی، نظریه رده
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We show that considering labelled transition systems as relational presheaves captures several recently studied examples in a general setting. This approach takes into account possible algebraic structure on labels. We show that left (2-)adjoints to change-of-base functors between categories of relational presheaves with relational morphisms always exist and, as an application, that weak closure (in the sense of Milner) of a labelled transition system can be understood as a left adjoint to a change-of-base functor.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 81, Issue 5, August 2015, Pages 901–910
Journal: Journal of Computer and System Sciences - Volume 81, Issue 5, August 2015, Pages 901–910
نویسندگان
Paweł Sobociński,