کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423427 685222 2008 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Observational Coalgebras and Complete Sets of Co-operations
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Observational Coalgebras and Complete Sets of Co-operations
چکیده انگلیسی

In this paper we introduce the notion of an observational coalgebra structure and of a complete set of co-operations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to coalgebraic proof and definition principles.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 203, Issue 5, 12 June 2008, Pages 153-174