کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
424186 685354 2008 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Bigraphs and Their Algebra
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Bigraphs and Their Algebra
چکیده انگلیسی

Bigraphs are a framework in which both existing process calculi and new models of behaviour can be formulated, yielding theory that is shared among these models. A short survey of the main features of bigraphs is presented, showing how they can be developed from standard graph theory using elementary category theory. The algebraic manipulation of bigraphs is outlined with the help of illustrations. The treatment of dynamics is then summarised. Finally, origins and some related work are discussed. The paper provides a motivating introduction to bigraphs.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 209, 24 April 2008, Pages 5-19