计算机应用研究2007，Vol.24Issue(12)：47-50,4.
基于PI-演算的网上并联审批业务流程建模及验证
Business process modeling and verification of coordinated examination and approve system based on PI-calculus
摘要
关键词
电子政务/流程建模/模型验证/PI-演算/进程分类
信息技术与安全科学引用本文复制引用
胡庆成,邢春晓,杨吉江,李益民..基于PI-演算的网上并联审批业务流程建模及验证[J].计算机应用研究,2007,24(12):47-50,4.基金项目
国家自然科学基金资助项目(60473078) （60473078）
北京市科技计划资助项目(Z0004029040811) （Z0004029040811）
