کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
435872 689946 2008 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On process rate semantics
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
On process rate semantics
چکیده انگلیسی

We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concentration) semantics, and in particular that the continuous-state semantics of processes corresponds to the differential equations of chemistry based on the law of mass action. The novel semantics of processes so obtained equates processes that have the same state occupation dynamics, but which may have different interaction interfaces.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 391, Issue 3, 14 February 2008, Pages 190-215