کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951473 689165 2016 40 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Structural congruence for bialgebraic semantics
ترجمه فارسی عنوان
سازگاری ساختاری برای معناشناسی بیگانه
کلمات کلیدی
سازگاری ساختاری، زغال سنگ معانی عملیاتی سازمانی،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
It was observed by Turi and Plotkin that structural operational semantics can be studied at the level of universal coalgebra, providing specification formats for well-behaved operations on many different types of systems. We extend this framework with non-structural assignment rules which can express, for example, the syntactic format for structural congruences proposed by Mousavi and Reniers. Our main result is that the operational model of such an extended specification is well-behaved, in the sense that bisimilarity is a congruence and that bisimulation-up-to techniques are sound.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 6, October 2016, Pages 1268-1291
نویسندگان
, ,