...；构件技术；模型验证；pi演算； [gap=870]nent communication, workflow, workflow model, component technology, pi calculus, model verification ...
基于22个网页-相关网页
应用pi演算 applied pi calculus
类pi演算 pi-like calculus
索引PI演算 Indexed PI calculus
pi演算互模拟 pi calculus bisimulation
通信与移动系统pi演算 Communicating and Mobile Systems
应用推荐