کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423816 685292 2008 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Spatial Extension to the π Calculus
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Spatial Extension to the π Calculus
چکیده انگلیسی

Spatial dynamics receive increasing attention in Systems Biology and require suitable modeling and simulation approaches. So far, modeling formalisms have focused on population-based approaches or place and move individuals relative to each other in space. SpacePi extends the π calculus by time and space. π processes are embedded into a vector space and move individually. Only processes that are sufficiently close can communicate. The operational semantics of SpacePi defines the interplay between movement, communication, and time-triggered events. A model describing the phototaxis of the Euglena micro-organism is presented as a practical example. The formalism's use and generality is discussed with respect to the modeling of molecular biological processes like diffusion, active transportation in cell signaling, and spatial structures.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 194, Issue 3, 20 January 2008, Pages 133-148