山东理工大学学报（自然科学版）2021，Vol.35Issue(4)：24-28,35,6.
物联网服务的π-演算建模与验证
Modeling and verifying of services of Internet of things via π-calculus
摘要
关键词
物联网服务/π-演算/μ-演算/模型检测分类
通用工业技术引用本文复制引用
李文翔..物联网服务的π-演算建模与验证[J].山东理工大学学报（自然科学版）,2021,35(4):24-28,35,6.基金项目
福建省中青年教师教育科研项目(JAT190494) （JAT190494）
