华侨大学学报（自然科学版）
華僑大學學報（自然科學版）
화교대학학보（자연과학판）
JOURNAL OF HUAQIAO UNIVERSITY(NATURAL SCIENCE)
2011年
2期
175-177
,共3页
特征交互%Email系统%π-演算%μ-演算%移动工作台
特徵交互%Email繫統%π-縯算%μ-縯算%移動工作檯
특정교호%Email계통%π-연산%μ-연산%이동공작태
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
採用π-縯算給齣基于客戶耑-服務器模式的Email繫統,以及繫統中特徵的行為描述;然後,利用μ-縯算描述和分析Email繫統中存在的特徵交互問題.最後,利用移動工作檯軟件工具,驗證基于π-縯算描述的移動併髮繫統.
채용π-연산급출기우객호단-복무기모식적Email계통,이급계통중특정적행위묘술;연후,이용μ-연산묘술화분석Email계통중존재적특정교호문제.최후,이용이동공작태연건공구,험증기우π-연산묘술적이동병발계통.
