%0 Journal Article
%T Email系统特征交互问题的π-演算检测
%A 李文翔
%A 潘孝铭
%J 华侨大学学报(自然科学版)
%D 2011
%R 10.11830/ISSN.1000-5013.2011.02.0175
%X 采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述; 然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
%K 特征交互
%K Email系统
%K π-演算
%K μ-演算
%K 移动工作台
%U http://www.hdxb.hqu.edu.cn/oa/DArticle.aspx?type=view&id=201102013