On process rate semantics
On process rate semantics
复制标题
DOI：
10.1016/j.tcs.2007.11.012
复制
发表时间：
2008-02-14
影响因子：
1.1
通讯作者：
Cardelli, Luca
中科院分区：
文献类型：
--
作者：
Cardelli, Luca
我们提供了进程代数和化学反应系统之间的转换。我们证明了这些翻译保持了离散状态(随机)和连续状态(集中)语义，特别是过程的连续状态语义对应于基于质量作用量定律的化学微分方程。如此获得的进程的新颖语义等同于具有相同状态占用动态但可能具有不同交互接口的进程。(C)2007 Elsevier B.V.保留所有权利。
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. (C) 2007 Elsevier B.V. All rights reserved.