کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422042 685008 2008 24 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Stochastic Bigraphs
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Stochastic Bigraphs
چکیده انگلیسی

In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we prove that the two semantics are consistent with each other. We illustrate the expressiveness of the framework with an example of membrane budding in a biological system.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 218, 22 October 2008, Pages 73-96