论文研究-基于PI-演算的无线自动售货机物流配送研究 .pdf

【文件属性】：

文件名称：论文研究-基于PI-演算的无线自动售货机物流配送研究 .pdf

文件大小：350KB

文件格式：PDF

更新时间：2022-09-04 06:30:25

无线自动售货机

基于PI-演算的无线自动售货机物流配送研究，王丽超，顾宏，形式化方法是商务过程设计与分析时达成共识和检验正确性的重要途径。Pi-演算具有面向交互、可描述结构动态变化及分布并发的表达优