Process Algebra with Hooks for Models of Pattern Formation
Process Algebra with Hooks for Models of Pattern Formation
复制标题
带有模式形成模型钩子的过程代数
DOI：
10.1016/j.entcs.2010.12.004
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Muffy Calder
中科院分区：
文献类型：
--
作者：
A. Degasperi;Muffy Calder
介绍了带钩子的进程代数(PAH)。在PAH中，过程代表不同的抽象层次，从生物化学到组织，通过挂钩动作的特殊同步确保了这些抽象之间的一致性。几何空间有一个显式的表示，代数具有基于函数反应速率的随机语义。
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers of abstraction, from biochemistry to tissue, and special synchronisations via hook actions ensure consistency between these abstractions. There is an explicit representation of geometrical space and the algebra has a stochastic semantics based on functional rates of reactions.
影响因子：
1.1
作者：
Ciocchetta, Federica;Hillston, Jane
通讯作者：
Hillston, Jane