کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
435900 689949 2015 31 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Causal static analysis for Brane Calculi
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Causal static analysis for Brane Calculi
چکیده انگلیسی

We present here a static analysis, based on Abstract Interpretation [8], obtained by defining an abstract version of the causal semantics for the Mate/Bud/Drip (MBD) version of Brane Calculi [7], proposed by Busi [6]. Our analysis statically approximates the dynamic behaviour of MBD systems. More precisely, the analysis is able to describe the essential behaviour of the represented membranes, in terms of their possible interactions. Furthermore, our analysis is able to statically capture the possible causal dependencies among interactions, whose determination can be exploited to better understand the modelled biological phenomena. Finally, we apply our analysis to an abstract specification of the receptor-mediated endocytosis mechanism.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 587, 4 July 2015, Pages 73–103
نویسندگان
, , ,