Decidable entailment checking for concurrent separation logic with fractional permissions
Decidable entailment checking for concurrent separation logic with fractional permissions
复制标题
具有分数权限的并发分离逻辑的可判定蕴涵检查
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Yeonseok Lee and Koji Nakazawa
中科院分区：
文献类型：
--
作者：
Tomu MAKITA;Atsuki NAGAO;Tatsuki OKADA;Kazuhisa SETO;Junichi TERUYAMA;Yeonseok Lee and Koji Nakazawa
