期刊详情
Proceedings - International Conference On Application Of Concurrency To System Design, Acsd
立即访问
语言：
英文
所在数据库：
Institute Of Electrical And Electronics Engineers Inc.
更新时间：
2026-04-06 20:48:11
期刊详情
Proceedings - International Conference On Application Of Concurrency To System Design, Acsd 《国际并发系统设计与应用会议论文集》发表并发理论、形式化方法及系统设计的交叉研究。内容涵盖进程代数、Petri网、模型检测及并发编程语言，探讨并发理论在复杂系统设计中的形式化验证与应用。