原名:Model Checking Simpson\’s Four-Slot Fully Asynchronous Communication Mechanism
作品简介:SAL 中带有原子控制寄存器的 C Simpson 算法。 37 iii 问题及其分析方法介绍[Lam86]。时间 。语义在其参考手册[DHOS01]中进行了描述，但以下描述是On interprocess communications—Part I：Basic formism，Part。……
资源下载
VIP免费升级VIP
