当前位置: 首页 » 资料 » 健康论文 » Email系统特征交互问题的π-演算检测

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

放大字体  缩小字体 更新日期:2018-11-26  浏览次数:9
摘 要:采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移
  • 【题 名】Email系统特征交互问题的π-演算检测
  • 【作 者】李文翔 潘孝铭
  • 【机 构】华侨大学计算机科学与技术学院 福建泉州362021
  • 【刊 名】《华侨大学学报:自然科学版》2011年 第2期 175-177页 共3页
  • 【关键词】特征交互 Email系统 π-演算 μ-演算 移动工作台
  • 【文 摘】采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
 
本文导航:
  • (1) 特征交互,Email系统,π-演算,μ-演算,移动工作台
  • 下一篇:鳖甲
  • 上一篇:暂无
 
[ 资料搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]

 

 
推荐图文
推荐资料
热门关注