|
|||||
|
|
| Email系统特征交互问题的π-演算检测 | |
| 引用本文： | 李文翔,潘孝铭.Email系统特征交互问题的π-演算检测[J].华侨大学学报(自然科学版),2011,32(2):175-177. |
| 作者姓名： | 李文翔 潘孝铭 |
| 作者单位： | 华侨大学,计算机科学与技术学院,福建,泉州,362021 |
| 基金项目： | 福建省自然科学基金资助项目(A0810013); 华侨大学科研基金资助项目(04BS313) |
| 摘 要： | 采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统. |
| 关 键 词： | 特征交互 Email系统 π-演算 μ-演算 移动工作台 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |