文章摘要信息 关键词 ： π-演算 商业流程可执行语言 开互模拟 on-the-fly算法 模型验证 [gap=613]Keywords : π-calculus BPEL4WS open-bisimulation on-the-fly model-checking
基于6个网页-相关网页
开互模拟
Open mutual simulation
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动