【作者】 董笑菊； 倪佳华； 傅育熙；

【机构】 上海交通大学计算机科学与工程系BASICS实验室；

【摘要】 <正>1 引言进程演算是一类描述并发系统的形式化模型,可以用来研究具有并发性、移动性、分布性等特点的系统。该类演算在语法上定义了一组操作子, 用以构成其基本研究对象一进程;而语义上则采用交错并发语义,即一个并发执行的进程,其行为被看更多还原

【Abstract】 Process calculi are a kind of models for concurrent systems. They are used to formally model biological systems. Since biochemical reactions are ubiquitous and important in biological systems, the formal description of biochemical reactionsprovides a basis for modeling biological systems. Polymerization reactions and enzyme reactions are two types of biochemical reactions. They are modeled and theoretically analyzed with the stochastic Pi calculus. It shows the basic approachto formally studying biochemical reactions by use of process calculi.更多还原