کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435900 | 689949 | 2015 | 31 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Causal static analysis for Brane Calculi
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Causal static analysis for Brane Calculi Causal static analysis for Brane Calculi](/preview/png/435900.png)
چکیده انگلیسی
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
Journal: Theoretical Computer Science - Volume 587, 4 July 2015, Pages 73–103
نویسندگان
Chiara Bodei, Roberta Gori, Francesca Levi,