Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
They often focused on complex mathematical theories (such as the Pi-Calculus) without ever validating if these theory's semantics would actually be enough to support a business process execution.
他们经常关注复杂的数学理论（如Pi-Calculus），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
With the help of the examples accumulates in the teaching process, this paper reveals all the USES of calculus in solving some primary problems.
以教学过程中积累的多个例子作简单的讨论，展示了微积分学在解决初等问题中的各类应用。
In order to model for enterprise management process by ontology, the theory of situation calculus is thought as the basis of dynamic activity specification in modeling.
为了对企业的管理过程进行本体建模，把情景演算理论作为企业建模过程中动态活动描述的基础。
In order to model for enterprise management process by ontology, the theory of situation calculus is thought as the basis of dynamic activity specification in modeling.
为了对企业的管理过程进行本体建模，把情景演算理论作为企业建模过程中动态活动描述的基础。
应用推荐