pi-calculus meaning in English
微积分
Examples
- Aoc calculus is asynchronous pi - calculus which is enriched with actor mechanisim and reinterpreted
Aoc演算是扩充了actor机制并且被重新解释了的异步pi演算。 - Our task is to develop the first interactive proof assistant for the - calculus . we call it pim ( the pi - calculus manipulator )
我们的工作就是为-演算设计并实现第一个交互式的验证工具pim ( thepi - calculusmanipulator ) 。 - Howard smith . business process management - the third wave : business process modelling language ( bpml ) and its pi - calculus foundations . information and software technology 45 ( 2003 ) 1065 ? 1069
谭伟,范玉顺.业务流程管理框架与关键技术研究.计算机集成制造系统,第10卷第7期， 2004年， 2 - 6 - A method of the dynamic evolvement of the team organization based on pi - calculus was developed , which includes the mission role assignment , role maintaining , role change , and role conflict coordination etc . . by this way , the organization of the team and the mission role of each fighter in the combat team can be adjusted according to combat situation , combat mission and the survival capability of the each fighter etc . , so that the fighter in the team can attack enemy targets in cooperation with others effectively
应用演算对编队成员的任务角色的指派、维持、更改和角色冲突协调等编队组织动态演化问题进行了研究，使编队成员任务角色可根据空战态势、空战任务和编队成员的生存力等进行及时调整，确保编队有效的实施对目标的协同攻击。