• 基于Pi-演算的无线自动售货机系统建模与应用

    基于Pi-演算的无线自动售货机系统建模与应用

    论文摘要无线自动售货机系统通过无线网络实现了对自动售货机的远程监视和控制,便于企业内部物流管理及向顾客提供方便的手机购物。为了对这一复杂系统形成一致的理解,分析系统的正确性和可...