搜索筛选:
搜索耗时0.7061秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：梁爱南,李长云,黄贤明,,
来源：计算机应用与软件 年份：2008
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。......
相关搜索：
