کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951943 1441993 2017 68 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A static analysis for Brane Calculi providing global occurrence counting information
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A static analysis for Brane Calculi providing global occurrence counting information
چکیده انگلیسی
In this paper we propose a static analysis for Brane Calculi [1], based on Interpretation[2] techniques. Our analysis statically approximates the dynamic behaviour of Brane systems, by providing a description of the possible hierarchical structure of membranes and of the processes possibly associated to each membrane, together with global occurrence counting information. Our analysis can be computed in polynomial time. We apply it to investigate several biological systems in which occurrence counting information plays a crucial role. In particular, our case study concerns the formation of the haemoglobin polymer in presence of alterations and investigate the influence that such alterations have on the ability of the haemoglobin polymer to bind oxygen molecules.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 696, 5 October 2017, Pages 11-51
نویسندگان
, , , , , ,