电脑体验，效果更佳

Pi演算图谱-计算机领域：

研究人员

王海洋 曾小平 郭小群 吴铮 郝克刚 孙永强 陈中育 冷家锋 张静 崔立真 张晓春 段友祥

相关术语

形式化 活动交互 表达能力 函数符号 图灵机 抽象 安全协议 验证 移动进程 业务流程建模 组合 SOAP 跨组织工作流 XML重写攻击 共享密钥系统 Spi演算 软件过程

标签云