计算机与现代化Issue(10)：83-85,3.
基于Pi演算的软件过程形式化描述
Formal Describing Software Process Using Pi-Calculus
摘要
关键词
Pi演算/软件过程/活动交互/移动进程/形式化分类
信息技术与安全科学引用本文复制引用
冷家锋,张晓春,陈中育..基于Pi演算的软件过程形式化描述[J].计算机与现代化,2007,(10):83-85,3.基金项目
浙江省自然科学基金资助项目(Y105092) （Y105092）
中科院金华科技园专项资金重点资助项目(20061010) （20061010）
