Email系统特征交互问题的π-演算检测

• 作者: 李文翔 潘孝铭
• 来源期刊: 华侨大学学报（自然科学版）
• 关键词: 特征交互 Email系统 π-演算 μ-演算 移动工作台
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 175-177
• 分类号: TP311.5
• 语种: 中文

摘要

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘孝铭	华侨大学计算机科学与技术学院	17	42	4.0	5.0
2	李文翔	华侨大学计算机科学与技术学院	1	1	1.0	1.0