云南高校图书馆联盟文献共享服务平台- 代数描述

代数描述: 作品数：19被引量：31H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：裴福俊傅育熙左健民李鹭扬吴洪涛更多>>; 相关机构：上海交通大学清华大学北京工业大学南京航空航天大学更多>>; 相关期刊：《计算机研究与发展》《软件学报》《中学数学（高中版）》《计算机工程》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划湖北省自然科学基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

用进程代数描述可适应工作流的模型方法被引量：7: 《电子学报》2002年第11期1624-1628,共5页魏丫丫林闯田立勤; 国家自然科学基金 (No .90 1 0 4 0 0 2和 60 1 730 1 2 ) ;国家高技术研究发展计划 (863计划 )课题 (No.2 0 0 1AA1 1 2 0 80 ) ;国家重点基础研究发展规划项目 (G1 9990 32 70 7); 工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模...; 关键词：进程代数可适应工作流一致性有效性通信顺序进程