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